TEMP PATCHFIX: breaks scheduler slightly

Yielding on semaphore release disabled in order to allow userprog code
to run correctly. Reason for this undetermined. Scheduler will still
work, although priority donation cannot be guaranteed to work completely
as awoken higher priority thread does not preempt current thread.