[Bug 465039] ksoftirqd takes 100% cpu, unable to reboot properly