# CONFIG_MMC_MXC is not set