Olá desculpe na demora em responder, sabe como é feriado prolongado :-), é estranho estes comandos não retornarem nada.
Aí teriamos que achar um bom samaritano com a máquina igual a sua para que veja se os comandos retornam algo.
Eu entrei de gaiato no tópico, nem tinha percebido que estava em Notebooks e Handhelds, eu tenho um Desktop com placa mãe ASUS M2N68-AM SE2 e utilizo uma placa offboard, Sapphire Radeon HD 6670 no qual o HDMI funciona sem problemas desde versões anteriores do kernel, sem a necessidade de procedimento extra algum, seja com o driver proprietário instalado ou não, basta eu ligar a TV que, automáticamente o som e enviado para ela, esta placa possui 3 portas 1 VGA 1 DVI e 1 HDMI, sendo que utilizo a DVI para meu Monitor e deixo um cabo p2 ligado direto no Home Theater para ouvir o som do micro, e o HDMI deixo para a TV que só utilizo quando vou assistir filmes ou ver video clipes direto do micro que neste caso o som e enviado direto da TV para para o HT que tem tecnologia ARC (Audio Return Channel).
Você poderia passar todas informações do seu hardware?
assim quem sabe outra pessoa pode ter hardware igual e alguma dica extra para sanar seu problema.
Eis um screenshot das propriedades de som com o audio HDMI em funcionamento.
Infelizmente o note da minha patrõa esta longe, e logo não posso fazer os devidos testes, para ver se o mesmo problema ocorre.
Você pode tentar mais este comando.
dmesg | grep audio