Hello there,I have a OSD32MP1-RED board based on stm32mp157c. Following the instructions How to create your own machine, I was able to compile the image. The problem happens when I try to boot from SD card with the generated image after load the boot...