I've attempted to build my own u-boot image based on the trusted defconfig and a dk1 device tree, i.e.$ make stm32mp15_basic_defconfig
$ make DEVICE_TREE=stm32mp157a-dk1 allThe build worked successfully, however when I attempted to use the `u-boot.st...