Você não disse qual sistema operacional está usando, mas no Windows eu acredito que você pode simplesmente alterar o dispositivo de reprodução padrão usando o miniaplicativo do painel de controle de som. Ele provavelmente mudará para HDMI automaticamente quando você conectar o cabo, mas você deve poder entrar no painel de controle e voltar para o seu laptop.
Como alternativa, seu media player pode ter opções para qual dispositivo usar para som.