Fix build, sched.h

Change-Id: I47c019d7f903aea28f9b37ba1ffd5ef78f2f5ac2