Comment 531 for bug 1734147

Sorry if this question has already been dealt with (in which case, may be nice to have it in the bug description) but has there been an update released which automatically fixes the issue for people affected? I'm sure there are many who wouldn't realize that their BIOS is broken for a while (or have already realized) and then wouldn't know to come here to find a fix...