Tengo entendido que los AVR que tienen entradas HDMI tipo repeter permiten configurar qué hacer con cada una de ellas antes de enviar la señal al TV. Habría que consultar los manuales para ver exactamente qué ajustes admiten.

Ojo con la ps3, pasando la sañal por el AVR puedes encontrarte con problemas de input lag si le metes algun procesado intermedio a la señal.