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