Ksched interface cleanup, smp_idle() cleanup