I have the same bug. I can confirm that the 3.9 RC 7 kernel downloaded from http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.9-rc7-raring/ does fix the bug. Using this kernel now and HDMI audio works as before.
# uname -a Linux universe 3.9.0-030900rc7-generic #201304171402 SMP Wed Apr 17 18:04:26 UTC 2013 x86_64 x86_64 x86_64 GNU/Linux # pact list [...] Profiles: input:analog-stereo: Analog Stereo Input (sinks: 0, sources: 1, priority. 60) output:analog-stereo: Analog Stereo Output (sinks: 1, sources: 0, priority. 6000) output:analog-stereo+input:analog-stereo: Analog Stereo Duplex (sinks: 1, sources: 1, priority. 6060) output:hdmi-stereo: Digital Stereo (HDMI) Output (sinks: 1, sources: 0, priority. 5400) output:hdmi-stereo+input:analog-stereo: Digital Stereo (HDMI) Output + Analog Stereo Input (sinks: 1, sources: 1, priority. 5460) off: Off (sinks: 0, sources: 0, priority. 0) bdeak@universe:~$ cat /proc/asound/card0/codec*|grep Codec Codec: Conexant CX20590 Codec: Intel PantherPoint HDMI Thanks for the tip, Joseph! -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1169761 Title: 3.8.0-18 Kernel causes HDMI Audio to stop working To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/linux/+bug/1169761/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs