I have an Optimus laptop HP Zbook 15 G6, which has an Nvidia Quadro T1000 card. I am trying to get the HDMI audio output to work, but unfortunately no luck. I have the graphics setup in hybrid PRIME offload mode (through mhwd) and that all works fine (with prime-run). However, when I connect an external TV, I see the desktop on it, but cannot redirect audio to it. There is no HDMI audio card in pulseaudio detected. I have tried it through nvhda, but no luck. I also cannot see the audio device in lspci output (only NVIDIA GPU card). However, in lspci tree, I see that there is a 01.00.1 subtree of the NVIDIA card, so the audio must be there. I have also tried it with the pci device rescan during boot, but no luck. Any idea?