# CONFIG_ARCH_SA1100 is not set