Por cierto, en Windows tienes que habilitar los formatos compatibles de salida digital de audio: DTS, AC3… etc... en ese puerto HDMI