[PATCH] x86: consolidate smp_send_stop()