savedcmd_arch/arm64/boot/dts/microchip/dtbs-list := {   echo arch/arm64/boot/dts/microchip/sparx5_pcb125.dtb;   echo arch/arm64/boot/dts/microchip/sparx5_pcb134.dtb;   echo arch/arm64/boot/dts/microchip/sparx5_pcb134_emmc.dtb;   echo arch/arm64/boot/dts/microchip/sparx5_pcb135.dtb;   echo arch/arm64/boot/dts/microchip/sparx5_pcb135_emmc.dtb; :; } > arch/arm64/boot/dts/microchip/dtbs-list
