# CONFIG_ARCH_ARTPEC is not set