Creo que me voy a contestar yo mismo (entre traducción de google y varias lecturas, creo que ya lo he acalarado....). La salida de los tres formatos de audio que mencioné los saca mediante bitstream, es decir que lo hace, obligatoriamente, a través de HDMI.
Si esto que comento está mal rogaría que alguien me corrigiese.
Gracias