Finalmente me decidí por el aparatito de Amazon que además de hacer de switch HDMI saca el audio en 2.0, 5.1 y 7.1, y todo va de maravilla. Tengo conectado la PS4 y el Amazon Fire TV 4K y la salida óptica del aparato de Amazon al AVR y saca 5.1 de todo perfectamente. También va perfectamente el HDR10, 4K@60Hz, etc.

Un saludo y gracias a todos.