Debe serlo, al fin y al cabo el transmisor inalámbrico recibe la señal HDMI desde una fuente, en este caso de un AVR, de un conmutador de fuentes.

Un problema que puede darse es un pequeño retraso del video respecto al audio, algo que podrá solucionarse con la función audiodelay o similar del AVR.