CONFIG_MACH_MX25_3DS is not available for thedefaultarchitecture x86.
Result is shown for architecture arm
Support MX25PDK (3DS) Platform
modulename: mach-mx25_3ds.ko
configname: CONFIG_MACH_MX25_3DS
Linux Kernel Configuration
└─>Support MX25PDK (3DS) Platform
In linux kernel since version 2.6.32 (release Date: 2009-12-02)
source code:
selects
CONFIG_SOC_IMX25CONFIG_IMX_HAVE_PLATFORM_FSL_USB2_UDC
CONFIG_IMX_HAVE_PLATFORM_IMX2_WDT
CONFIG_IMX_HAVE_PLATFORM_IMXDI_RTC
CONFIG_IMX_HAVE_PLATFORM_IMX_I2C
CONFIG_IMX_HAVE_PLATFORM_IMX_FB
CONFIG_IMX_HAVE_PLATFORM_IMX_KEYPAD
CONFIG_IMX_HAVE_PLATFORM_IMX_UART
CONFIG_IMX_HAVE_PLATFORM_MXC_EHCI
CONFIG_IMX_HAVE_PLATFORM_MXC_NAND
CONFIG_IMX_HAVE_PLATFORM_SDHCI_ESDHC_IMX