CONFIG_MACH_MINI2440 is not available for thedefaultarchitecture x86.
							 Result is shown for architecture arm 
						
					MINI2440 development board
modulename: mach-mini2440.ko
configname: CONFIG_MACH_MINI2440
Linux Kernel Configuration
└─>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.
							
						
					
					available via various sources. It can come with a 3.5" or 7" touch LCD.
