This took me a while to find. But if you are using the opens source radeon X drivers, sound will not work via a hdmi interface.
It is pretty simple though, you just need a boot option:
If this is passed in via grub at boot time, audio will work.
Footnote 9 on this page: http://www.x.org/wiki/RadeonFeature