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