CONFIG_MACH_OMAP3517EVM is not available for thedefaultarchitecture x86.
Result is shown for architecture arm
OMAP3517/ AM3517 EVM board
configname: CONFIG_MACH_OMAP3517EVM
Linux Kernel Configuration
└─>TI OMAP/AM/DM/DRA Family
└─>TI OMAP2/3/4 Specific Features
└─>OMAP3517/ AM3517 EVM board