Вообще-то Pulseaudio это сервер, а alsa это драйвер звуковой карты. Непосредственно с железом взаимодействует ALSA. Играть через ALSA без использования Pulseaudio можно, а вот наоборот нет. Так что надо настраивать alsa. Вывод
aplay -l
должен показывать устройства hdmi, если показывает то можно использовать например так
mplayer -ao alsa:device=hdmi FILE.AVI
Если нет, значит драйвер не нашел устройства. Вероятно нужен апгрейд ядра. У меня чипсет H55 для него нужног ядро минимум 2.6.35