Com o cabo HDMI conectado, execute o seguinte utilitário:
speaker-test --channels 2 --rate 48000 --device hw:0,3
(para outros, o hw: x, y é x = card, y = device)
Isto apenas executa um teste de som com binário estático para trás e para frente. Depois de tocar em cada alto-falante, pressione Ctrl + c para interrompê-lo e, em seguida, verifique suas configurações de som para ver se a saída HDMI está agora listada no dispositivo interno.
Isso foi tudo que eu tive que fazer para que funcionasse. Se isso não funcionar para você, confira este tutorial para atualizando alsa para a versão ppa.