savedcmd_arch/arm/boot/dts/xilinx/dtbs-list := {   echo arch/arm/boot/dts/xilinx/zynq-cc108.dtb;   echo arch/arm/boot/dts/xilinx/zynq-ebaz4205.dtb;   echo arch/arm/boot/dts/xilinx/zynq-microzed.dtb;   echo arch/arm/boot/dts/xilinx/zynq-parallella.dtb;   echo arch/arm/boot/dts/xilinx/zynq-zc702.dtb;   echo arch/arm/boot/dts/xilinx/zynq-zc706.dtb;   echo arch/arm/boot/dts/xilinx/zynq-zc770-xm010.dtb;   echo arch/arm/boot/dts/xilinx/zynq-zc770-xm011.dtb;   echo arch/arm/boot/dts/xilinx/zynq-zc770-xm012.dtb;   echo arch/arm/boot/dts/xilinx/zynq-zc770-xm013.dtb;   echo arch/arm/boot/dts/xilinx/zynq-zed.dtb;   echo arch/arm/boot/dts/xilinx/zynq-zturn.dtb;   echo arch/arm/boot/dts/xilinx/zynq-zturn-v5.dtb;   echo arch/arm/boot/dts/xilinx/zynq-zybo.dtb;   echo arch/arm/boot/dts/xilinx/zynq-zybo-z7.dtb; :; } > arch/arm/boot/dts/xilinx/dtbs-list
