While setting up my STM32MP157F-DK2 discovery kit, I followed the steps through the Populate the SDCard section and the flashing process failed with the following message when attempting to flash with the FlashLayout_sdcard_stm32mp157f-dk2-optee.tsv ...