What kind of HDMI audio issues? My Gazelle Pro does not output audio over HDMI in 13.10 but it does in 13.04 with the proper intel drivers.