# CONFIG_MMC_ARMMMCI is not set
