Raspberry pi documentation says that to force audio over the hdmi, you have to edit the config.txt to have:

hdmi_drive=2

Afterwards reboot and then try sound over hdmi

Hope this helps