On a few machine builds I've had some problems getting sound over HDMI interfaces to TVs on Fedora machines (15/16/17). I guess this is probably the same for any system using pulseaudio though like Ubuntu. Sound would work with MythTV but not browser or desktop sounds