CONFIG_MACH_OMAP3517EVM is not available for thedefaultarchitecture x86.
Result is shown for architecture arm
OMAP3517/ AM3517 EVM board
modulename: board-am3517evm.ko
configname: CONFIG_MACH_OMAP3517EVM
Linux Kernel Configuration
└─>OMAP3517/ AM3517 EVM board