added new condition blocks to lock_acquire(), should let us donate priorities, yet still is not working