# CONFIG_MACH_OMAP3517EVM is not set