Forgot to thread_yield () in lock_release (). Tests are now running w/o kernel panics"