That's a great question
The cards support audio over DisplayPort, and DisplayPort is meant to be compatible with HDMI.
So with whatever funky adapter there is, there should be audio+video over HDMI.
Of course, I think you need to either ask Apple at this stage... or wait for someone to experiment, fail and complain here, and then get it working