Você pode usar o pavucontrol (controle de volume pulseaudio, instale, se necessário). Inicie-o no menu multimídia, vá até a guia "Dispositivos de saída" e clique no botão verde "Definir como alternativo" que fica próximo à placa de som HDMI.
Se ainda assim não funcionar, procure também a guia "Configuração" e altere o perfil.