Lo de la PS4 he probado en absolutamente todos los hdmi. Acabo de solucionarlo de chiripa, tenía un decodificador configurado con el asistente, lo he borrado y lo he creado como genérico, después he encendido la PS4 y la ha detectado bien. Lo he borrado porque además me estaba dando por saco todo el rato, a veces cuando intentaba ir a la TV normal insistía todo el rato en encemderme el decodificador.
Sobre el ARC he revisado todos los HDMI y están configurados el primero y el segundo como mejorado, y el tercero y cuarto como dolby. He probado de poner el HDMI 3 como mejorado al igual que el 3 y 4 pero nada, quizás como normal... Probaré