fixup

Author: mattiaswal

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

@@ -5,11 +5,12 @@ set -e
 BOARD_DIR=$(dirname "$0")
 GENIMAGE_CFG="${BUILD_DIR}/genimage.cfg"
 GENIMAGE_TMP="${BUILD_DIR}/genimage.tmp"
+TARGET_DIR="${BR2_EXTERNAL_INFIX_PATH}/output/target}"
 
 # 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