Bugzilla – Attachment 324847 Details for Bug 465039
ksoftirqd takes 100% cpu, unable to reboot properly