notably: ship the *correct* rpi-4-b.dtb file alongside u-boot.
this needs some tweaking: it doesn't package the right dtb file. it packages the dtb for the linux kernels, whereas we want dtbs to be consumed by u-boot.