# CONFIG_ARCH_OMAP1 is not set