Encontrou a solução, ela foi composta de duas coisas:
-
Eu observei no gerenciador de dispositivos que o driver que estava instalado não era o driver Realtek ATI HDMI, mesmo que eu o tenha instalado. Então atualizei o driver e escolhi o driver Realtek manualmente (acho que foi chamado HDXATI64.inf, ou algo assim).
-
O segundo problema foi, na verdade, o receptor, que não foi configurado corretamente para a entrada HDMI do computador (provavelmente após um corte de energia), e estava mixando todos os canais para estéreo ...