# CONFIG_ARCH_HISI is not set