CONFIG_MXS_HAVE_PLATFORM_MXS_MMC is not available for thedefaultarchitecture x86.
Result is shown for architecture arm
CONFIG_MXS_HAVE_PLATFORM_MXS_MMC (not configurable)
modulename: platform-mxs-mmc.ko
configname: CONFIG_MXS_HAVE_PLATFORM_MXS_MMC
Linux Kernel Configuration
└─>MXS_HAVE_PLATFORM_MXS_MMC