savedcmd_arch/arm/boot/dts/intel/ixp/dtbs-list := {   echo arch/arm/boot/dts/intel/ixp/intel-ixp42x-actiontec-mi424wr-ac.dtb;   echo arch/arm/boot/dts/intel/ixp/intel-ixp42x-actiontec-mi424wr-d.dtb;   echo arch/arm/boot/dts/intel/ixp/intel-ixp42x-linksys-nslu2.dtb;   echo arch/arm/boot/dts/intel/ixp/intel-ixp42x-linksys-wrv54g.dtb;   echo arch/arm/boot/dts/intel/ixp/intel-ixp42x-freecom-fsg-3.dtb;   echo arch/arm/boot/dts/intel/ixp/intel-ixp42x-welltech-epbx100.dtb;   echo arch/arm/boot/dts/intel/ixp/intel-ixp42x-ixdp425.dtb;   echo arch/arm/boot/dts/intel/ixp/intel-ixp43x-kixrp435.dtb;   echo arch/arm/boot/dts/intel/ixp/intel-ixp46x-ixdp465.dtb;   echo arch/arm/boot/dts/intel/ixp/intel-ixp42x-adi-coyote.dtb;   echo arch/arm/boot/dts/intel/ixp/intel-ixp42x-ixdpg425.dtb;   echo arch/arm/boot/dts/intel/ixp/intel-ixp42x-goramo-multilink.dtb;   echo arch/arm/boot/dts/intel/ixp/intel-ixp42x-iomega-nas100d.dtb;   echo arch/arm/boot/dts/intel/ixp/intel-ixp42x-dlink-dsm-g600.dtb;   echo arch/arm/boot/dts/intel/ixp/intel-ixp42x-gateworks-gw2348.dtb;   echo arch/arm/boot/dts/intel/ixp/intel-ixp43x-gateworks-gw2358.dtb;   echo arch/arm/boot/dts/intel/ixp/intel-ixp42x-netgear-wg302v1.dtb;   echo arch/arm/boot/dts/intel/ixp/intel-ixp42x-arcom-vulcan.dtb;   echo arch/arm/boot/dts/intel/ixp/intel-ixp42x-gateway-7001.dtb;   echo arch/arm/boot/dts/intel/ixp/intel-ixp42x-usrobotics-usr8200.dtb; :; } > arch/arm/boot/dts/intel/ixp/dtbs-list
