Me autorespondo después de haber probado varias opciones y tener esta en funcionamiento. Finalmente, he optado por conectar el HDMI ARC de la tele al Output HDMI del receptor y tanto el ordenador como la cónsola al receptor por respectivos HDMI. Todo correcto según los resultados esperados.
Saludos,