I don't know if there is still someone following this, but I found out another bug thread similar to this one, but under alsa-driver package and for ATI radeon, so i'm not sure if it is a duplicate or not. I tried out the workaround suggested there and it worked on my radeon hd 4200.
Here is the link for those who want to give it a try: https://bugs.launchpad.net/ubuntu/+source/alsa-driver/+bug/864735 -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/869318 Title: HDMI audio out doesn't work To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/pulseaudio/+bug/869318/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs