Una vez encendido, cuando el AVR lo pongo a RadioFM la tele me cambia automáticamente al HDMI3, que es donde está conectado por el HDMI ARC. Pensaba que este era el comportamiento normal... quizá no lo sea y sea fallo del AVR?

En Movistar se que se puede cambiar, pero no siempre se puede disponer de Movistar, jeje.