Fixing sound through HDMI on NVIDIA Optimus

There is a common problem with those NVIDIA Optimus laptops having an HDMI port connected to the dedicated GPU: NVIDIA audio device is not detected thus no sound goes over HDMI port. For more details see: https://devtalk.nvidia.com/default/topic …