RE: [PATCH 13/21] Convert CONFIG_SYS_MMC_MAX_DEVICE to Kconfig