O problema foi o resultado de um bug no kernel da versão 3.19.0-18 do kernel do Ubuntu. O problema foi corrigido em uma atualização posterior.
Após atualizar para o 15.04, e talvez outra rodada de atualização, não consigo ouvir som algum sobre HDMI. Um dispositivo de som parece existir:
$ aplay -l
**** List of PLAYBACK Hardware Devices ****
card 1: PCH [HDA Intel PCH], device 0: ALC283 Analog [ALC283 Analog]
Subdevices: 1/1
Subdevice #0: subdevice #0
Mas quando eu tento tocar algo (com aplay) não há nada além de silêncio (nem mesmo um erro). Eu já olhei para os controles de volume e nada é mudo ou de baixo volume, tanto quanto eu posso ver.
O PulseAudio Volume Control parece não reconhecer nenhum dispositivo de saída existente, exceto o estéreo analógico de áudio embutido, e as configurações de som nem reconhecem isso.
Coisas que eu já tentei:
Aqui está o relatório also-info.sh do meu computador: link
O problema foi o resultado de um bug no kernel da versão 3.19.0-18 do kernel do Ubuntu. O problema foi corrigido em uma atualização posterior.