fix kernel/sched