Since smp_stop_cpu is not used, we don't need to test for it.  This
saves several instructions in the IPI handler and simplifies the code.