Just a quick note, HDMI audio works for me, so maybe it's not an issue for everyone. Did you correctly change the audio output device to HDMI in...
Separate names with a comma.
