I can confirm this also happens for me. A workaround is to change the video resolution to something else and then back to what it was. That will bring back the HDMI sound device too.
I can confirm this also happens for me. A workaround is to change the video resolution to something else and then back to what it was. That will bring back the HDMI sound device too.