--- arch/x86/kernel/reboot.c

+++ arch/x86/kernel/reboot.c

@@ -633,7 +633,7 @@ void native_machine_shutdown(void)

/* O.K Now that I'm on the appropriate processor,

* stop all of the others.

*/

- smp_send_stop();

+ stop_other_cpus();

#endif

lapic_shutdown();