Você provavelmente tem a saída HDMI desativada na configuração de áudio.
O pacote pavucontrol
instala o utilitário Pulse Audio Volume Control. O painel de configuração permite ativar a saída. Sua saída HDMI deve então aparecer no painel de saída.