[Bug 736268] New: Kernel shutdown may hang due to nmi watchdog