lock_destroy now performs spinlock_cleanup on the spinlock. Fixed lock_release KASSERT. Added lock_acquire KASSERT for sanity checking if we hold the lock immediately after grabbing it.