Factor out #ifdefs from kernel/spinlock.c to LOCK_CONTENDED_FLAGS