Correctly initialize spintlock_t