Gracias, pero eso no soluciona el problema.
Ninguna de las respuestas ofrecidas en el foro soluciona el problema. Hay algunos canales HD en que con algunos firmware si desconecto y reconecto el cable HDMI (o apago y enciendo la tele) sí suenan (hasta que cambias de canal). Con otros firmwares ni eso.
Creo que al final daré por perdido este deco.