powerpc: use NMI IPI for smp_send_stop