Tiene que haber un HDMI passtrough o bitstream, para que pase el audio tal cual y sea el receptor el que se encargue de él!!

Saludos