pi4 stuff

modules/nixos/hardware/raspberry-pi/generational/install-device-tree.sh

@@ -53,8 +53,10 @@ echo "$dtb_path"
 # firmware package has dtbs in its root,
 # dtbs built with kernel are in broadcom/
 DTBS=("$dtb_path"/*.dtb "$dtb_path"/broadcom/*.dtb)
+echo "all dtbs: $DTBS"
 for dtb in "${DTBS[@]}"; do
     dst="$target/$(basename "$dtb")"
+    echo "$dtb"
     copyForced "$dtb" "$dst"
     filesCopied[$dst]=1
 done