Есть Ubuntu 14.04.
Если у тебя дефолтная Ubuntu, то она идет с pulseaudio. Переключить звук из консоли на другую карточку можно, но слегка геморрно.
Хорошее решение предложили тут:
http://unix.stackexchange.com/questions/65246/change-pulseaudio-input-output-from-shellтам описано как это работает и приложен скрипт, который упрощает эту задачу.
edit: этот способ для случая с двумя устройствами.
Если устройство одно (встроенная карточка и встроенное видео), та там можно просто переключить профиль (ноль там - номер карточки):
pactl set-card-profile 0 output:hdmi-stereo
или
pactl set-card-profile 0 output:hdmi-surround
Посмотреть карточки и доступные профили: pacmd list-cards