x86/reboot: Update nonmi_ipi parameter