CONFIG_MACH_EUKREA_CPUIMX51SD is not available for thedefaultarchitecture x86.
Result is shown for architecture arm
Support Eukrea CPUIMX51SD module
modulename: board-cpuimx51sd.ko
configname: CONFIG_MACH_EUKREA_CPUIMX51SD
Linux Kernel Configuration
└─>Support Eukrea CPUIMX51SD module
In linux kernel since version 2.6.37 (release Date: 2011-01-04)
Include support for Eukrea CPUIMX51SD platform. This includes
specific configurations for the module and its peripherals.
specific configurations for the module and its peripherals.