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