savedcmd_arch/arm64/boot/dts/arm/dtbs-list := {   echo arch/arm64/boot/dts/arm/foundation-v8.dtb;   echo arch/arm64/boot/dts/arm/foundation-v8-psci.dtb;   echo arch/arm64/boot/dts/arm/foundation-v8-gicv3.dtb;   echo arch/arm64/boot/dts/arm/foundation-v8-gicv3-psci.dtb;   echo arch/arm64/boot/dts/arm/juno.dtb;   echo arch/arm64/boot/dts/arm/juno-r1.dtb;   echo arch/arm64/boot/dts/arm/juno-r2.dtb;   echo arch/arm64/boot/dts/arm/juno-scmi.dtb;   echo arch/arm64/boot/dts/arm/juno-r1-scmi.dtb;   echo arch/arm64/boot/dts/arm/juno-r2-scmi.dtb;   echo arch/arm64/boot/dts/arm/rtsm_ve-aemv8a.dtb;   echo arch/arm64/boot/dts/arm/vexpress-v2f-1xv7-ca53x2.dtb;   echo arch/arm64/boot/dts/arm/fvp-base-revc.dtb;   echo arch/arm64/boot/dts/arm/corstone1000-fvp.dtb;   echo arch/arm64/boot/dts/arm/corstone1000-mps3.dtb; :; } > arch/arm64/boot/dts/arm/dtbs-list
