Staging: b3dfg: fix sched.h build breakage