Greg Banks:

The symbol CONFIG_DEBUG_SPINLOCK was defined twice identically
in the same file...three lines apart.