Você precisará instalar o driver binário da Ati para conseguir que o som HDMI funcione corretamente:
pavucontrol preferências sonoras ajudam muito também ...
Essa foi a única maneira de conseguir o áudio HDMI funcionando corretamente e selecionar as fontes (analógica ou HDMI) para a saída para programas específicos funcionarem ...