Comment 3 for bug 1377653

Hello, I don't know if my message can help somebody, but i have a similar problem with my laptop (MSI GT60 2PE dominator 3K).
I don't have found a solution and I am not able to explain the real problem... However I have a workaround.

My laptop use a dual boot with Ubuntu 14.04 and Windows 8.1 and I have an optimus configuration for my video card (Intel/NVIDIA)

First I will start by explain the procedure to reproduce the bug.
At the begining, I am on linux with my NVIDIA card activated. If I connect an hdmi cable, there is no problem. I just need to select the hdmi audio device with Pulseaudio. However the video and the sound works fine with the hdmi output!

Now I remove the hdmi cable and I shutdown my computer.
I reboot now using Windows 8.1 (without HDMI cable!!)

I reboot again on ubuntu. But now, if I connect again the HDMI cable, the video works but there is no sound.
The audio device is not detected. I can switch on the intel card and come back on the NVIDIA but it the same.
I can reinstall the nvidia driver, reinstall pulseaudio, reboot .... But nothing works!! The hdmi audio device has disapeared!!!

The only one solution is to reboot on windows 8.1. I connect the hdmi cable, I check the sound works (on windows) and I shutdown the computer.

Now if i reboot on linux the audio device is back!!! :)

This is just a workaround, but it is not a solution... :(