Никакое Аудио по HDMI на Optimus Nvidia

У меня есть ноутбук Dell L502x с (Optimus) Nvidia GT525M на Ubuntu 14.04. Работы видео HDMI с nvidia 352 собственные драйверы, но звуковая карта не обнаруживается. Я не вижу Аудио HDMI, перечисленное в настройках Воспроизведения звука, и lspci (и lspci -H1) покажите только Intel Audio card.

Вывод lspci -H1:

00:00.0 Host bridge: Intel Corporation 2nd Generation Core Processor Family DRAM Controller (rev 09)
00:01.0 PCI bridge: Intel Corporation Xeon E3-1200/2nd Generation Core Processor Family PCI Express Root Port (rev 09)
00:02.0 VGA compatible controller: Intel Corporation 2nd Generation Core Processor Family Integrated Graphics Controller (rev 09)
00:16.0 Communication controller: Intel Corporation 6 Series/C200 Series Chipset Family MEI Controller #1 (rev 04)
00:1a.0 USB controller: Intel Corporation 6 Series/C200 Series Chipset Family USB Enhanced Host Controller #2 (rev 05)
00:1b.0 Audio device: Intel Corporation 6 Series/C200 Series Chipset Family High Definition Audio Controller (rev 05)
00:1c.0 PCI bridge: Intel Corporation 6 Series/C200 Series Chipset Family PCI Express Root Port 1 (rev b5)
00:1c.1 PCI bridge: Intel Corporation 6 Series/C200 Series Chipset Family PCI Express Root Port 2 (rev b5)
00:1c.3 PCI bridge: Intel Corporation 6 Series/C200 Series Chipset Family PCI Express Root Port 4 (rev b5)
00:1c.4 PCI bridge: Intel Corporation 6 Series/C200 Series Chipset Family PCI Express Root Port 5 (rev b5)
00:1c.5 PCI bridge: Intel Corporation 6 Series/C200 Series Chipset Family PCI Express Root Port 6 (rev b5)
00:1d.0 USB controller: Intel Corporation 6 Series/C200 Series Chipset Family USB Enhanced Host Controller #1 (rev 05)
00:1f.0 ISA bridge: Intel Corporation HM67 Express Chipset Family LPC Controller (rev 05)
00:1f.2 SATA controller: Intel Corporation 6 Series/C200 Series Chipset Family 6 port SATA AHCI Controller (rev 05)
00:1f.3 SMBus: Intel Corporation 6 Series/C200 Series Chipset Family SMBus Controller (rev 05)
01:00.0 VGA compatible controller: NVIDIA Corporation GF108M [GeForce GT 525M] (rev a1)
03:00.0 Network controller: Intel Corporation Centrino Advanced-N 6230 [Rainbow Peak] (rev 34)
04:00.0 USB controller: NEC Corporation uPD720200 USB 3.0 Host Controller (rev 04)
06:00.0 Ethernet controller: Realtek Semiconductor Co., Ltd. RTL8111/8168/8411 PCI Express Gigabit Ethernet Controller (rev 06)

Вывод aplay -l:

card 0: PCH [HDA Intel PCH], device 0: ALC665 Analog [ALC665 Analog]
  Subdevices: 1/1
  Subdevice #0: subdevice #0
card 0: PCH [HDA Intel PCH], device 1: ALC665 Digital [ALC665 Digital]
  Subdevices: 1/1
  Subdevice #0: subdevice #0
card 0: PCH [HDA Intel PCH], device 3: HDMI 0 [HDMI 0]
  Subdevices: 1/1
  Subdevice #0: subdevice #0

Мне что кажется device 3: HDMI 0 [HDMI 0] упомянутый выше соответствует аудиоустройству для порта дисплея и не HDMI. В моем ноутбуке порт HDMI подключен к GPU Nvidia, и порт дисплея подключен к Intel GPU.

С драйвером с открытым исходным кодом звуковая карта Nvidia перечислена lspci -H1 но не в lspci.

01:00.1 Audio device: NVIDIA Corporation GF108 High Definition Audio Controller (rev a1)

Однако видео HDMI повреждено с nouveau драйвером, таким образом, я должен использовать собственный драйвер.

Есть ли что-нибудь, что я могу сделать для получения работы Аудио HDMI?

Я должен отметить, что Аудио HDMI хорошо работает в Windows.

Править

Обходное решение, предложенное в https://askubuntu.com/a/660910/489853, решает проблему временно; это должно быть применено после каждой перезагрузки. Какие-либо предложения о том, как превратить это в скрипт, который может быть запущен во время запуска?