Add comments on the definition of SPIN_LOCK_RELEASED & SPIN_LOCK_ACQUIRED