Do spinlocks really need DMB?