fix a race condition in the sched_use_tsc patch