Não tenho certeza se pretendo postar isso sob a minha pergunta, mas consegui fazer o som funcionar no HDMI :):)
A correção: Digite "alsamixer" no terminal e use a seta para a direita para ir para S / PDIF e S / PDIF 1. A mina foi definida para "MM" (mudo) pressione a letra "M" para ativar o som. mudará para "00" Agora pressione "Esc" e digite "sudo alsactl store" feche o terminal e reinicie
Eu encontrei isso em link (fotos e conjunto completo de instruções)
PS Agora estou executando o 13.04. (ainda tinha o problema até fazer essa correção acima)