CONFIG_ARCH_OMAP4 is not available for thedefaultarchitecture x86.
Result is shown for architecture arm
TI OMAP4
modulename: cm4xxx.ko
and/orpm44xx.ko
and/oromap_device.ko
and/oromap44xx-smc.ko
configname: CONFIG_ARCH_OMAP4
OMAP System Type
└─>TI OMAP4