changing mem_sbrk_lock to a spinlock had no effect