Restore HDMI Sound

When I power off and on my TV set which is connected to a secondary output of my PC the HDMI audio is lost. This is really not a Kodi issue, I believe. Nevertheless, maybe someone knows here how to restore audio without rebooting the PC? I have sound built into kernel, otherwise removing and re-inserting the module might do the trick.