CONFIG_MACH_OMAP_INNOVATOR is not available for thedefaultarchitecture x86.
Result is shown for architecture arm

TI Innovator

modulename: board-innovator.ko

and/or

fpga.ko

configname: CONFIG_MACH_OMAP_INNOVATOR

Linux Kernel Configuration
└─>TI Innovator
In linux kernel since version 2.6.12  
TI OMAP 1510 or 1610 Innovator board support. Say Y here if you
have such a board.

source code:
arch/arm/mach-omap1/board-innovator.c