Ativando som via HDMI no notebook Positivo Premium (Ubuntu 12.04)

Problema: ao conectar o cabo HDMI, a imagem sai na televisão usando a tecla Fn correspondente, mas o som sai no laptop.

Configuração: Positivo Premium S6040 com Ubuntu 12.04. TV LG
Solução:
Verificamos se o HDMI é reconhecido com o comando aplay -l (este comando mostra todos os dispositivos de áudio reconhecidos). Tive dois resultados, a placa de som e o áudio HDMI:

$ aplay -l
**** Lista de Dispositivos PLAYBACK Hardware ****
placa 0: PCH [HDA Intel PCH], dispositivo 0: ALC269VB Analog [ALC269VB Analog]
  Dispositivo secundário: 1/1
  Dispositivo secundário #0: subdevice #0
placa 0: PCH [HDA Intel PCH], dispositivo 3: HDMI 0 [HDMI 0]
  Dispositivo secundário: 1/1
  Dispositivo secundário #0: subdevice #0

Teste então, com o cabo conectado à TV, se haverá uma saída de som tipo TV fora de canal usando este comando:
speaker-test -c 2 -r 48000 -D hw:0,3

Após alguns segundos, deve apaecer uma saída assim:

O resultado correto é ouvir o ruído na TV vim da direita e esquerda alternadamente. Pressione ctrl+c para parar.  

Isso comprova que a saída de som HDMI está sendo reconhecida e em funcionamento. Abrindo as configurações de som (acessada pelo ícone de volume), clique na aba "Hardware". Lá, deve ter a opção HDMI, na caixinha "Perfil", na parte de baixo, como mostrado na figura:

Atenção à parte de baixo: "Configurações para o dispositivo selecionado"

Ao mudar ali, o som saiu perfeitamente pela TV. Para voltar ao som do laptop, volte ao som estéreo.

OBS: Como o som é do chipset da Intel, para o caso do Positivo S6040, não é necessária a instalação de drivers adicionais. Mas, dependendo do modelo da placa mãe, pode ser necessário. 

OBS2: Eu segui os passos desse site para atualizar o kernel, mas não sei se foi necessário, no fim das contas. 

Referências:
http://askubuntu.com/questions/112512/ubuntu-refuses-to-output-audio-via-hdmi
https://github.com/GM-Script-Writer-62850/Ubuntu-Mainline-Kernel-Updater