Hello, I'm trying to evaluate the STM32MP1 using a STM32MP157C-DK2. I followed this getting started guide and successfully flashed the board, even though the archive downloaded has a slightly different name than mentioned in the guide. I set the boot...