Comment 7 for bug 1811216

hm, we never really officially supported the raspi3, but it is worrying to have broken users. So it is a valid concern. One way to proceed here would be to switch back the FDT address to 0x02008000 for armhf in flash-kernel and only leave it bumped in arm64 (as it's needed there). I only changed it for both because of consistency, but there are anyway differences between both boot scripts so it really doesn't matter. I'll look into getting that done.

As for boot.scr, well, in my first attempts I actually used uboot.env as well, but then saw that flash-kernel advertises it instead, so I switched (that was also what Ryan's images used IIRC). Since I had no strong preferences, I just switched to that instead.