savedcmd_arch/riscv/boot/dts/sifive/dtbs-list := {   echo arch/riscv/boot/dts/sifive/hifive-unleashed-a00.dtb;   echo arch/riscv/boot/dts/sifive/hifive-unmatched-a00.dtb; :; } > arch/riscv/boot/dts/sifive/dtbs-list
