Just to confirm: Yep, it is indeed possible to do audio over HDMI. I do it all the time under Linux. I just select my output device as "HDMI" instead of Analog or Optical.