In teoria sì, ma i modelli di decoder più vecchi mi pare che non supportano questa funzione. Comunque per controllare basta che vai nel menu audio del decoder e metti su manuale. Dovresti avere la possibilità di settare anche l'opzione HDMI. Se è così ti basta indicare che audio vuoi sentire da lì. Che modello di decoder hai?
Forse al momento hai associato l'ingresso ottico all'input sul 767, ma se associ l'HDMI con sorgente per l'audio dovresti risolvere.