CONFIG_MACH_OMAP_4430SDP is not available for thedefaultarchitecture x86.
Result is shown for architecture arm
default or selected kernelversion does not have config value CONFIG_MACH_OMAP_4430SDP.
Result is shown for kernelversion 6.2.5
OMAP 4430 SDP board
modulename: board-4430sdp.ko
configname: CONFIG_MACH_OMAP_4430SDP
Linux Kernel Configuration
└─>TI OMAP2/3/4 Specific Features
└─>OMAP 4430 SDP board