# CONFIG_ARCH_HI3xxx is not set