# CONFIG_ARCH_SPRD is not set