CONFIG_MACH_MAINSTONE is not available for thedefaultarchitecture x86.
Result is shown for architecture arm
Intel HCDDBBVA0 Development Platform (aka Mainstone)
modulename: mainstone.ko
and/orpxa2xx_mainstone.ko
configname: CONFIG_MACH_MAINSTONE
Linux Kernel Configuration
└─>Intel PXA2xx/PXA3xx Implementations
└─>Intel HCDDBBVA0 Development Platform (aka Mainstone)