# CONFIG_ARCH_RDA is not set