Pero eso es lo que ya se ha puesto muchas veces: un dispositivo deco, reproductor multimedia,..., al conectar con el AVR o TV por HDMI se hace propietario del CEC y hay que capar el pin 13 del dispositivo, que se hace fácil con el adaptador HDMI Lindy 41232 que se vende en Amazon. Si el problema de audio viene sin tener nada conectado en el AVR y TV, el problema no es ése.