Backported HDMI audio from kernel 3.0.8 (as per Omegamoon)