Correct an unlock() omission in realtime mode scheduler