Eu tenho o mesmo receptor e o mesmo problema. Eu descobri que mudar o resoultion realmente faz o som funcionar. Definir a resolução para 720p ou 1080i me dá som. Não tenho certeza por que, mas poderia ser algum tipo de problema de handshaking. 1080p é obviamente preferível, mas até que alguém descubra o porquê, isso pode ajudá-lo. Eu li em outras páginas que um switch HDMI poderia resolver problemas de handshaking, mas é um longo percurso, neste caso, como eu não tenho certeza thats o problema ... Edit: parece que definir a taxa de atualização para 24 com xrandr corrige o meu problema. Tente o seguinte comando: xrandr --output HDMI2 --mode 1920x1080 --rate 24 Se você não usa o hdmi 2, você pode facilmente ver qual deles está usando apenas digitando xrandr.