Me temo que sí. La primeras versiones no son capaces de enviar por HDMI los formatos HD tal cuales, sin descodificar. Pero sí pueden enviarlos descodificados a PCM multicanal (teóricamente no debería ser un menoscabo a su sonido).

En este caso, hay que hacer lo contrario, elegir salida PCM en el HDMI, cuando elijas esos formatos HD la PS3 los pasa a PCM multicanal y llegan al AVR sin problemas.