Yes I have chosen HDMI Audio as my output, I am using a MiniDP > HDMI adapter which go to my Receiver(Confirmed working on Linux).
The problem is that there is no sound output. Neither in system sounds, Safari(Youtube etc), Kodi(Movies) or Itunes.
I have attached another file, with some...