fixup

Author: mattiaswal

src/board/raspberry-pi-4/mkimage.sh

@@ -9,7 +9,7 @@ GENIMAGE_TMP="${BUILD_DIR}/genimage.tmp"
 # Device trees are installed for distro boot (syslinux.conf), but on RPi
 # we need them for the SPL, which feeds the TPL (U-Boot) for use instead
 # of the (built-in) control DT other platforms use.
-find "${TARGET_DIR}/boot" -type f -name '*.dtb' -exec cp '{}' "${BINARIES_DIR}/" \;
+#find "${TARGET_DIR}/boot" -type f -name '*.dtb' -exec cp '{}' "${BINARIES_DIR}/" \;
 
 # We've asked U-Boot previously to build overlays for us: Infix signing
 # key and our ixboot scripts.  Make sure here they are installed in the