manually applied patch for include/linux/sched.h