So, just to add some more clarification, this is not a kernel bug, but a "feature" in your BIOS firmware and hence can't be fixed. The above notes do explain how to workaround this, but beware that it may not be a viable fix for your machine.
So, just to add some more clarification, this is not a kernel bug, but a "feature" in your BIOS firmware and hence can't be fixed. The above notes do explain how to workaround this, but beware that it may not be a viable fix for your machine.