Andi Kleen wrote:
> It is Checking NMI watchdog .... if you see "stuck" after that it is
> broken. Or do the NMIs actually increase when you make the machine
> busy (run while true ; do true ; done on each CPU)?

It increases at about 1 interrupt/sec. I've attached the dmesg output
from booting.