savedcmd_arch/arm/boot/dts/microchip/dtbs-list := {   echo arch/arm/boot/dts/microchip/at91-kizbox2-2.dtb;   echo arch/arm/boot/dts/microchip/at91-kizbox3-hs.dtb;   echo arch/arm/boot/dts/microchip/at91-nattis-2-natte-2.dtb;   echo arch/arm/boot/dts/microchip/at91-sama5d27_som1_ek.dtb;   echo arch/arm/boot/dts/microchip/at91-sama5d27_wlsom1_ek.dtb;   echo arch/arm/boot/dts/microchip/at91-sama5d29_curiosity.dtb;   echo arch/arm/boot/dts/microchip/at91-sama5d2_icp.dtb;   echo arch/arm/boot/dts/microchip/at91-sama5d2_ptc_ek.dtb;   echo arch/arm/boot/dts/microchip/at91-sama5d2_xplained.dtb;   echo arch/arm/boot/dts/microchip/at91-sama5d3_eds.dtb;   echo arch/arm/boot/dts/microchip/at91-sama5d3_ksz9477_evb.dtb;   echo arch/arm/boot/dts/microchip/at91-sama5d3_xplained.dtb;   echo arch/arm/boot/dts/microchip/at91-dvk_som60.dtb;   echo arch/arm/boot/dts/microchip/at91-gatwick.dtb;   echo arch/arm/boot/dts/microchip/at91-tse850-3.dtb;   echo arch/arm/boot/dts/microchip/at91-wb50n.dtb;   echo arch/arm/boot/dts/microchip/sama5d31ek.dtb;   echo arch/arm/boot/dts/microchip/sama5d33ek.dtb;   echo arch/arm/boot/dts/microchip/sama5d34ek.dtb;   echo arch/arm/boot/dts/microchip/sama5d35ek.dtb;   echo arch/arm/boot/dts/microchip/sama5d36ek.dtb;   echo arch/arm/boot/dts/microchip/sama5d36ek_cmp.dtb;   echo arch/arm/boot/dts/microchip/at91-sama5d4_ma5d4evk.dtb;   echo arch/arm/boot/dts/microchip/at91-sama5d4_xplained.dtb;   echo arch/arm/boot/dts/microchip/at91-sama5d4ek.dtb;   echo arch/arm/boot/dts/microchip/at91-vinco.dtb;   echo arch/arm/boot/dts/microchip/at91-sama7g54_curiosity.dtb;   echo arch/arm/boot/dts/microchip/at91-sama7g5ek.dtb; :; } > arch/arm/boot/dts/microchip/dtbs-list
