[Bug 726724] HP BIOS claims that thermal shutdown occurred after normal Linux shutdown/reboot