This allows using mutexes in the scheduler code (obviously not in any
scheduling path).

Not yet preemption safe.

No threading yet, so no real locking