board: stm32mp1: use CONFIG_SYS_MMC_ENV_DEV when available