Eu finalmente concluí que, no meu caso, isso provavelmente era um problema de hardware. A placa-mãe P8H61-M LX2 provavelmente não possui um chipset capaz de rotear áudio para o controlador gráfico.
EDIT: Anos depois, após a atualização para 14.04.3, descobri que os dispositivos de áudio HDMI haviam aparecido magicamente, então, afinal de contas, era um problema do sistema operacional.