kernel/sched: convert to C99 bool