# CONFIG_MMC is not set