El problema, como dije al principio, está en el deco Sat al conectarlo vía HDMI al AVR. No se por qué motivo es incompatible (supongo que en algunos casos) con ARC y con Aynet. Lo importante es una vez encontrada la solución compartirla.
Gracias Piltra, lo de apagar el deco con el botón no lo había probado. Otra alternativa más. Pero, no se perderán las configuraciones del deco al tenerlo mucho tiempo apagado?
Saludos