CONFIG_MACH_MINI2440 is not available for thedefaultarchitecture x86.
Result is shown for architecture arm

MINI2440 development board

modulename: mach-mini2440.ko

and/or

configname: CONFIG_MACH_MINI2440

Linux Kernel Configuration
└─>Samsung S3C24XX SoCs (deprecated, see help)
└─>Samsung S3C24XX SoCs Support
└─>MINI2440 development board
In linux kernel since version 2.6.31 (release Date: 2009-09-09)  
Say Y here to select support for the MINI2440. Is a 10cm x 10cm board
available via various sources. It can come with a 3.5" or 7" touch LCD.