Re: [PATCH] board: stm32mp1: use CONFIG_SYS_MMC_ENV_DEV when available