Revert "x86, reboot: Use NMI instead of REBOOT_VECTOR to stop cpus"