x86/reboot: Fix a warning message triggered by stop_other_cpus()