If your Radeon HDMI audio stopped working since 4.0 then it might be fixed in 4.1-rc7.