Right click in the playback devices of windows sound manager
And tick both, show disconnected devices, and disabled devices.
If Hdmi shows.
Right click on it and set it as default playback device if Hdmi audio appears.
You may also have to enter the bios of your laptop there may be an option to enable Hdmi audio in there as an extra option.