Si colocas el cable HDMI en un deco ( al menos la mayoría de linux) puedes conectar cables RCA de audio en la salida que los decos tienen, no se si eso te puede servir, yo uso una Dreambox 7020HD , y en la salida de audio del deco por las noches conecto unos cascos inalambricos, para poder oir, ´´sin molestar´´

Saludos.