savedcmd_arch/arm/boot/dts/gemini/dtbs-list := {   echo arch/arm/boot/dts/gemini/gemini-dlink-dir-685.dtb;   echo arch/arm/boot/dts/gemini/gemini-dlink-dns-313.dtb;   echo arch/arm/boot/dts/gemini/gemini-nas4220b.dtb;   echo arch/arm/boot/dts/gemini/gemini-ns2502.dtb;   echo arch/arm/boot/dts/gemini/gemini-rut1xx.dtb;   echo arch/arm/boot/dts/gemini/gemini-sl93512r.dtb;   echo arch/arm/boot/dts/gemini/gemini-sq201.dtb;   echo arch/arm/boot/dts/gemini/gemini-ssi1328.dtb;   echo arch/arm/boot/dts/gemini/gemini-wbd111.dtb;   echo arch/arm/boot/dts/gemini/gemini-wbd222.dtb; :; } > arch/arm/boot/dts/gemini/dtbs-list
