Com o cabo HDMI conectado
Exclua esse diretório
~/.config/pulse
no terminal execute esse comando:
$pulseaudio -k
reinicie o PC
pronto agora lá em configuração de som já vai aparecer na aba ‘Saída’ o dispositivo HDMI se o mint não selecionar sozinho é só fazer manualmente.
e os drivers de vídeo da placa mãe devem estar atualizados
em configurações do sistema vai em monitor defina seu monitor e marque a opção “exibir espelhado”