I have the same problem. I'm using Ubuntu 15.04 64 bits (Desktop Edition). CPU Intel Core i7-4790, GPU Intel HD4600. Using latest BIOS and microcode.
There is no HDMI out sound with latest kernel 3.19.0-18-generic. When I boot with previous kernel (3.19.0-16-generic) the HDMI sound works. Here is an screenshot of the sound config under 3.19.0-16-generic. It shows the HDMI device, and it works: http://rt002nf0.eresmas.net/Temp/FPGLINUX%203.19.0-16-generic_01.jpg Here is the same screenshot under the newest kernel 3.19.0-18-generic. No HDMI driver shown: http://rt002nf0.eresmas.net/Temp/FPGLINUX%203.19.0-18-generic_01.jpg If I can help in any way, please, don't hesitate to ask. Thanks and best regards. -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1457697 Title: [Vivid] kernel 3.19.0-17 fails to find HDMI sound output To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/linux/+bug/1457697/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs