Нет звука через HDMI. Intel 82801H, Ubuntu 12.04

Я только что переустановил Ubuntu 12.04 64 бит на своем ноутбуке. Dell XPS M1330.

В предыдущих версиях он просил меня установить дополнительные драйверы (карту Realtek, я не очень хорошо помню). Но в этот раз, похоже, это больше не нужно.

В любом случае звук работает нормально через динамики ноутбука, но у меня в телевизоре не работает, через HDMI, как раньше. На самом деле в настройках звука нет опции HDMI.

 $ aplay -l
   **** Lista de PLAYBACK dispositivos hardware ****
   tarjeta 0: Intel [HDA Intel], dispositivo 0: STAC92xx Analog [STAC92xx Analog]
     Subdispositivos: 1/1
     Subdispositivo #0: subdevice #0
   tarjeta 0: Intel [HDA Intel], dispositivo 1: STAC92xx Digital [STAC92xx Digital]
     Subdispositivos: 1/1
     Subdispositivo #0: subdevice #0
   tarjeta 0: Intel [HDA Intel], dispositivo 3: HDMI 0 [HDMI 0]
     Subdispositivos: 1/1
     Subdispositivo #0: subdevice #0


   $ lspci | grep "Audio" # if no hits, change to 'audio' or remove ' | grep "Audio" '
   00:1b.0 Audio device: Intel Corporation 82801H (ICH8 Family) HD Audio Controller (rev    02)

   $ sudo lshw -C multimedia[sudo] password for keroak: 
     *-multimedia            
          descripción: Audio device
          producto: 82801H (ICH8 Family) HD Audio Controller
          fabricante: Intel Corporation
          id físico: 1b
          información del bus: pci@0000:00:1b.0
          versión: 02
          anchura: 64 bits
          reloj: 33MHz
          capacidades: pm msi pciexpress bus_master cap_list
          configuración: driver=snd_hda_intel latency=0
          recursos: irq:47 memoria:fe9fc000-fe9fffff

   $ cat /proc/asound/card0/codec#* | grep CodecCodec: SigmaTel STAC9228
   Codec: Silicon Image SiI1392 HDMI