Hello I have successfully used your patch to obtain an IP via DHCP and download kernel/dtb/ramdisk via tftp. Tested-by: Corentin Labbe <cla...@baylibre.com>
But I still fail to boot any kernel (mainline/rpi-5.4/rpi-4.19). But this is irrelevant with your serie, since the same kernel is not bootable also via "load mmc 0:1 xxxx" but it is via the RPI bootloader. So it is probably uboot's fault. Thanks Regards