Если у вас не работает вывода звука HDMI "из коробки", вы можете попробовать следующее решение в Ubuntu 13.04/12.10/12.04 и Linux Mint 15/14/13.

Откройте терминал (Ctrl+Alt+T), скопируйте и выполните следующие команды:

    sudo add-apt-repository ppa:ubuntu-audio-dev/alsa-daily
    sudo apt-get update
    sudo apt-get install oem-audio-hda-daily-dkms

После этого звук в HDMI должен работать.

Удачи.