Assert that spinlocks are locked and unlocked on the same processor

sys/kern/spinlock.c

@@ -93,6 +93,8 @@ Spinlock_Lock(Spinlock *lock)
 void
 Spinlock_Unlock(Spinlock *lock)
 {
+    ASSERT(lock->cpu == CPU());
+
     TAILQ_REMOVE(&lockStack[CPU()], lock, lockStack);
 
     lock->rCount--;