fix the manual config and flipped condition in SpinLock.h