# CONFIG_MMC_STM32_SDMMC is not set