Bueno, he investigado un poco y me autocontesto...
He conseguido que el Sony x800 envíe el audio sin convertir a PCM al AVR. Hay que poner la opción HDMI Out en "Auto" y la
BD Mix Audio en "off". No es muy evidente, pero ahora ya consigo que el AVR reciba el audio sin convertir del reproductor UHD.
Por otra parte parece que el AppleTV no envía nunca el audio sin convertir (por cuestión de diseño, es intencionado), y las únicas opciones son enviar el audio en PCM o en DD multicanal (previa conversión). Así que de momento no hay mucho que hacer a este respecto. El audio en PCM tampoco tiene ningún problema, eso por delante.
Por lo demás me está encantando el x2400h. Tiene todo lo que necesito (y más) para mi modesta instalación, y conforme vaya ampliando altavoces a mi sistema ya iré preguntando por aquí (tengo dudas con respecto al Atmos, pero ya molestaré en su momento).
La única duda que tengo es con respecto a los "chasquidos" que hace al encenderse y el tiempo que tarda (4-5sg.) en sacar el audio cuando enciendo la TV. ¿Es normal? ¿Os hace lo mismo a vosotros?
Saludos!