Cleaned up comments in sch_find_thread.
More messing around with timer frequency.
Merge branch 'scheduler-redesign'