Public bug report changed: https://launchpad.net/malone/bugs/29374 Comment: This appears to be a hardware bug with some Opteron SMP systems. Please refer to: http://lkml.org/lkml/2004/10/18/95 It makes a few suggestions that worked for other people. Such as enabling nmi_watchdog=1, and swapping PCI cards around.