Efectivamente, no te hará falta sacar el sonido multicanal por un cable aparte. Todo por el HDMI.

El Kenwood debe ser un poco antiguo porque ni siquiera decodifica los formatos HD.
El Harman no captura el sonido de los HDMIs.

El resto te valdrían, pero creo que el Yamaha es el más completo (tiene USB frontal, 4 entradas HDMI). El Pioneer tiene 3 entradas, y el Denon 4 pero sin ARC.