Make proc_lock and sch_lock the same thing; prevents deadlocking when switching process in scheduler.
Fixes and tweaks to memory manager.