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

Eukrea MBIMXSD development board

modulename: eukrea_mbimxsd-baseboard.ko

configname: CONFIG_MACH_EUKREA_MBIMXSD25_BASEBOARD

Baseboard
└─>Eukrea MBIMXSD development board
In linux kernel since version 2.6.36 (release Date: 2010-10-20)  
This adds board specific devices that can be found on Eukrea's
MBIMXSD evaluation board.

source code: