savedcmd_arch/arm/boot/dts/nvidia/dtbs-list := {   echo arch/arm/boot/dts/nvidia/tegra20-acer-a500-picasso.dtb;   echo arch/arm/boot/dts/nvidia/tegra20-asus-tf101.dtb;   echo arch/arm/boot/dts/nvidia/tegra20-harmony.dtb;   echo arch/arm/boot/dts/nvidia/tegra20-colibri-eval-v3.dtb;   echo arch/arm/boot/dts/nvidia/tegra20-colibri-iris.dtb;   echo arch/arm/boot/dts/nvidia/tegra20-medcom-wide.dtb;   echo arch/arm/boot/dts/nvidia/tegra20-paz00.dtb;   echo arch/arm/boot/dts/nvidia/tegra20-plutux.dtb;   echo arch/arm/boot/dts/nvidia/tegra20-seaboard.dtb;   echo arch/arm/boot/dts/nvidia/tegra20-tec.dtb;   echo arch/arm/boot/dts/nvidia/tegra20-trimslice.dtb;   echo arch/arm/boot/dts/nvidia/tegra20-ventana.dtb; :; } > arch/arm/boot/dts/nvidia/dtbs-list
