Try updating the drivers for the sound card. There should be an HDMI option when the lead is plugged in.
On my Dell I had to plug the HDMI cable into the laptop and TV and choose the HDMI sound output twice before it worked.
Since the first time it has worked without any fiddling.
Was Eclipse Home Option 1 & VM 2Mb
Now O2 standard