Comment 40 for bug 1386695

For total clarity. The fixes here were not verified (as they did not fix the issue possibly after a BIOS update) and are therefore reverted in the kernel. When this closed shortly on release of the reverted kernel, that will be an error, and the bug will need reopening. We will retest against that base.