Fixes x86 spinlocks with new gcc