[kbuild-all] Re: [tip:sched/fifo 44/45] ERROR: modpost: "sched_setscheduler" undefined!