Linux Hdmi Audio Output