savedcmd_arch/arm64/boot/dts/realtek/dtbs-list := {   echo arch/arm64/boot/dts/realtek/rtd1293-ds418j.dtb;   echo arch/arm64/boot/dts/realtek/rtd1295-mele-v9.dtb;   echo arch/arm64/boot/dts/realtek/rtd1295-probox2-ava.dtb;   echo arch/arm64/boot/dts/realtek/rtd1295-xnano-x5.dtb;   echo arch/arm64/boot/dts/realtek/rtd1295-zidoo-x9s.dtb;   echo arch/arm64/boot/dts/realtek/rtd1296-ds418.dtb;   echo arch/arm64/boot/dts/realtek/rtd1395-bpi-m4.dtb;   echo arch/arm64/boot/dts/realtek/rtd1395-lionskin.dtb;   echo arch/arm64/boot/dts/realtek/rtd1619-mjolnir.dtb; :; } > arch/arm64/boot/dts/realtek/dtbs-list
