Se os drivers e o hardware estiverem configurados corretamente, você só precisará definir as configurações para rotear o som por meio de HDMI. Para isso, eu uso Pulseaudio Volume Control .
Uma vez instalado, procure por Pulseaudio Volume Control ou apenas execute pavucontrol no terminal.
Então olhe para isso:
