Re: [PATCH] Convert CONFIG_CMD_MMC to Kconfig