# CONFIG_ARCH_SIRF is not set