[PATCH] x86_64: Don't run NMI watchdog during machine checks