А у вас есть ~/.asoundrc? Если нет, то создайте и укажите там по умолчанию HDMI.
Примера для HDMI у меня нет. Вот, например, для случая внешнeй USB карты:
pcm.!default {
type hw
card U0x41e0x30d3
}
ctl.!default {
type hw
card U0x41e0x30d3
Вместо имени может быть идентификатор карты, для HDMI у меня, например,1.