fix priority comparison in sched_switch
Merge pull request #126 from OlegHahm/scheduler_fix

fix priority comparison in sched_switch