Bueno, al final he liado una buena para poder sacarle partido al cacharro. Lo cuento por si a alguien le vale mi caso.

CONECTIVIDAD
Ahora mismo tengo conectado por un lado la tele al receptor por el hdmi arc, y por otro la ps4 y el pc al receptor por las otras entradas hdmi.

MIS USOS:
Contenido no 5.1: Para ver contenido del pc por los altavoces de la tele (navegar por internet, alguna serie en SD) no me hace falta enchufar nada, solo indicarle al pc que saque el sonido por la LG. Comento este caso particular ya que me parece bastante útil no tener que tirar del receptor continuamente para oir cualquier cosa. De todas formas también tengo el pc conectado a otro 5.1 (Logitech z506) que me hace bien el apaño.

Consola: La PS4 la he configurado en PCM Lineal porque creo que mejor opción que el Bitstream. Es encender, elegir con el mando el canal correcto de hdmi y a jugar.

Pelis y contenido 5.1: Antes, para ver películas, usaba una aplicación para acceder al contenido de un pc desde la propia tele, y de ahí seleccionar lo que quería (PLAYZ, una versión del PLEX). El problema es que esta opción me capaba la salida surround HD, ya que la tele solo emite en estéreo. Por otro lado, el ordenador de por sí no me saca la mejor opción de audio para cada archivo, así que necesitaba algo más.
La solución que encontré es algo enrevesada pero me funciona estupendamente. Como reproductor multimedia y organizador de archivos estoy usando KODI (el antiguo XBMC). Este programa permite habilitar la salida passtrough además de elegir entre los canales de salida de audio disponibles (en mi caso, tuve que ir probando hasta que encontré el ganador, porque hay nombres de salidas que parecen duplicadas pero en realidad son distintas) y activar la reproducción de diferentes formatos de audio.

Y ya está, sonido hd envolvente pata negra.