CONFIG_MACH_OMAP4_PANDA is not available for thedefaultarchitecture x86.
Result is shown for architecture arm
default or selected kernelversion does not have config value CONFIG_MACH_OMAP4_PANDA.
Result is shown for kernelversion 6.2.5
OMAP4 Panda Board
modulename: board-omap4panda.ko
configname: CONFIG_MACH_OMAP4_PANDA
Linux Kernel Configuration
└─>TI OMAP2/3/4 Specific Features
└─>OMAP4 Panda Board