The pthreads implementation of Itimer should use sched_yield() rather than
the abstracted version, otherwise it breaks on a non-threaded build.