De los que citas el Onkyo TX-SR606 y el KENWOOD KRF-V9300 si procesan audio desde sus conexiones HDMI, ambos también incorporan decodificadores para DTS-MA y Dolby TrueHD.

Tienes hilos dedicados, el del Onkyo y el del Kenwood, para que los conozcas mejor y por si te surgen dudas.