# CONFIG_ARCH_REALVIEW is not set