Kernel: Fixed upstream issue with kernel/sched/sched.h