STM32MP135 Uboot libfdt fdt_check_header(): FDT_ERR_BADMAGIC
I'm trying to boot from SD-card and u-boot doesn't seem to find device tree. I have built my system with buildroot (bootlin st/2023.02.2) overriding the sources for tf-a, u-boot, op-tee and kernel, to be able to boot at least to u-boot (I did write a...