# CONFIG_ARCH_OMAP4 is not set