CONFIG_MACH_OMAP4_PANDA is not available for thedefaultarchitecture x86.
Result is shown for architecture arm
OMAP4 Panda Board
modulename: board-omap4panda.ko
configname: CONFIG_MACH_OMAP4_PANDA
Linux Kernel Configuration
└─>TI OMAP2/3/4 Specific Features
└─>OMAP4 Panda Board