# CONFIG_ARCH_HAS_CC_PLATFORM is not set
