Update kthscheduler.h