Para definir o padrão para reprodução de pulseaudio
Use o comando:
pactl list sinks | grep Name
para obter nomes Pulseaudio de coletores de reprodução
Use o nome do seu coletor HDMI neste comando para defini-lo como padrão:
pacmd set-default-sink <Name>
Para verificar a configuração do coletor padrão do Pulseaudio:
cat ~/.config/pulse/*default-sink