Intelliplug: update linux/sched.h