I\'m following bootlin lab to make a linux image that could be flashed on stm32mp157 discovery board. Now, I\'m trying to make u-Boot. I have downloaded it from here and con