kernel/include/config/ARCH_HAS_MEMBARRIER_SYNC_CORE