x86: move nmi_shootdown_cpus() to reboot.c