I got my HTPC system built yesterday and installed XBMCbuntu (ubuntu 12.10, 3.5.0-44-generic). I am not getting any audio over HDMI. At first, the only playback device listed in PulseAudio Volume Control (pavucontrol) was "headphones". I ran dist-upgrade and that managed to get HDMI to show up as a playback device in pavucontrol. I can see the mixer bar moving around when I play sound, as if it is playing.. but there is no audio coming though the TV.
Has anyone had issues with audio over HDMI on Ubuntu?
EDIT: Here is my Alsa dump with all of my sound info.. http://www.alsa-project.org/db/?f=c9763bc8ac02e4454f469e9d1cf2bed88ea6e5a7