I think I can guess the answer to this....
A quick check of the release notes show that this update does not mention having fixed the problem with rebooting the computer to get the HDMI audio back. Telling people to install this, just sounds like wasting their time.