sched: Clean up scheduler_ipi()