I am facing the same issue,however no luck until now:
This configuration was working fine until yesterday, however when I switched it on today there is no audio from the speakers :
My laptop is the source, the hdmi out goes to the hdmi in port of my av receiver(pioneer vsx-923); the hdmi out...