Xubuntu 15.04, нет звука через HDMI

Я только что установил Xubuntu 15.04 на свой ноутбук Dell после использования Ubuntu в течение более 2 лет. Я не могу заставить звук работать на своем мониторе Samsung, который подключен к ноутбуку через порт HDMI. Он отлично работал под Ubuntu и даже во время сеанса live с компакт-диска Xubuntu, но он перестал работать после того, как я установил ОС и загрузился с жесткого диска.

Вещи, которые я уже пробовал, включают:

• полностью обновить мою систему через apt-get;
• установить PulseAudio Volume Control и изменить устройство вывода (порт HDMI не был перечислены там);
• используйте speaker-test для активации звука HDMI (устройства вывода звука HDMI нет в списке, поэтому у него нет идентификатора, который я могу использовать для его вызова);
• использовать проприетарный драйвер видеокарты (приложение Software & Updates предложило NVIDIA 340.76, но после перезагрузки я не смог заставить работать видео и пришлось переустановить всю ОС);
• запустить sudo alsa force-reload (казалось, ничего изменить).

Ниже приведен соответствующий вывод для lspci и lspci -v, показывающий мою видеокарту (в конце концов, монитор подключен через HDMI) и aplay -l, чтобы показать, что устройства вывода звука HDMI нет в списке в любом месте.

$ lspci | grep VGA
00:02.0 VGA compatible controller: Intel Corporation Haswell-ULT Integrated Graphics Controller (rev 0b)
$ aplay -l
**** List of PLAYBACK Hardware Devices ****
card 1: PCH [HDA Intel PCH], device 0: ALC3234 Analog [ALC3234 Analog]
  Subdevices: 0/1
  Subdevice #0: subdevice #0
$ lspci -v
3D controller: NVIDIA Corporation GF117M [GeForce 610M/710M/820M / GT 620M/625M/630M/720M] (rev a1)