sched: Provide scheduler_ipi() callback in response to smp_send_reschedule()