# CONFIG_ARCH_OMAP3 is not set