Comment 0 for bug 1993217

This is on my friend laptop with his TV.
HDMI audio not available in pavucontrol (profile say unplugged, unavailable) in kernel versions with bugs.
It is just shown as an audio output (HDMI audio) on kernels where it is working.
When not working, I can play with aplay -D HDMI ...
When working... I select HDMI audio in output, and test sound ok, Youtube videos ok, etc.

4.9.177 working.
4.9.178 not working.

I suspect commit 72cf0b07418a9c8349aa9137194b1ccba6e54a9d because it is between those versions, and is related to audio (realtek in part).

More info at:
https://forums.linuxmint.com/viewtopic.php?f=49&t=383607&p=2246352#p2246352
although the laptop now runs ... 17.10 I think (a version with a not broken kernel).