Made scheduler_init() runnable on all CPUs