x86: move do_nmi(), stop_nmi() and restart_nmi() to traps_64.c