# CONFIG_ARCH_STI is not set