<div dir="ltr">The problem seems to occur some time after the computer comes out of hibernation.<br>If I turn off or restart the machine, the HDMI sound output remains normal.</div>