Нет выбора для аудио выхода HDMI

Возможный дубликат:
Ubuntu отказывается выводить звук через HDMI

Моя проблема в том, что я не могу получить звук на свой телевизор, который я подключил через кабель HDMI к ноутбуку HP Pavilion g6, работающему под управлением ОС Ubuntu 12.04-64bit.

Терминальный вывод об аудиооборудовании:

Список аппаратных устройств ВОСПРОИЗВЕДЕНИЯ:

jg-laptop@JG-Laptop:~$ aplay -l
card 0: Generic [HD-Audio Generic], 
device 3: HDMI 0 [HDMI 0]
Subdevices: 1/1
Subdevice #0: subdevice #0
card 1: Generic_1 [HD-Audio Generic], 
device 0: STAC92xx Analog [STAC92xx Analog]
Subdevices: 1/1
Subdevice #0: subdevice #0

ИЛИ ЖЕ

jg-laptop@JG-Laptop:~$ cat /proc/asound/cards 
0 [Generic ]: HDA-Intel - HD-Audio Generic HD-Audio Generic at 0xf0544000 irq 44     
1 [Generic_1 ]: HDA-Intel - HD-Audio Generic HD-Audio Generic at 0xf0540000 irq 16

У меня нет выбора в системе Settings -> Sound выбрать аудиовыход HDMI

Пожалуйста, может кто-нибудь сказать мне, чего не хватает и что мне придется делать?