savedcmd_arch/arm64/boot/dts/marvell/dtbs-list := {   echo arch/arm64/boot/dts/marvell/armada-3720-db.dtb;   echo arch/arm64/boot/dts/marvell/armada-3720-eDPU.dtb;   echo arch/arm64/boot/dts/marvell/armada-3720-espressobin.dtb;   echo arch/arm64/boot/dts/marvell/armada-3720-espressobin-emmc.dtb;   echo arch/arm64/boot/dts/marvell/armada-3720-espressobin-ultra.dtb;   echo arch/arm64/boot/dts/marvell/armada-3720-espressobin-v7.dtb;   echo arch/arm64/boot/dts/marvell/armada-3720-espressobin-v7-emmc.dtb;   echo arch/arm64/boot/dts/marvell/armada-3720-gl-mv1000.dtb;   echo arch/arm64/boot/dts/marvell/armada-3720-turris-mox.dtb;   echo arch/arm64/boot/dts/marvell/armada-3720-uDPU.dtb;   echo arch/arm64/boot/dts/marvell/armada-7040-db.dtb;   echo arch/arm64/boot/dts/marvell/armada-7040-mochabin.dtb;   echo arch/arm64/boot/dts/marvell/armada-8040-clearfog-gt-8k.dtb;   echo arch/arm64/boot/dts/marvell/armada-8040-db.dtb;   echo arch/arm64/boot/dts/marvell/armada-8040-mcbin.dtb;   echo arch/arm64/boot/dts/marvell/armada-8040-mcbin-singleshot.dtb;   echo arch/arm64/boot/dts/marvell/armada-8040-puzzle-m801.dtb;   echo arch/arm64/boot/dts/marvell/armada-8080-db.dtb;   echo arch/arm64/boot/dts/marvell/cn9130-db.dtb;   echo arch/arm64/boot/dts/marvell/cn9130-db-B.dtb;   echo arch/arm64/boot/dts/marvell/cn9131-db.dtb;   echo arch/arm64/boot/dts/marvell/cn9131-db-B.dtb;   echo arch/arm64/boot/dts/marvell/cn9132-db.dtb;   echo arch/arm64/boot/dts/marvell/cn9132-db-B.dtb;   echo arch/arm64/boot/dts/marvell/cn9130-crb-A.dtb;   echo arch/arm64/boot/dts/marvell/cn9130-crb-B.dtb;   echo arch/arm64/boot/dts/marvell/ac5x-rd-carrier-cn9131.dtb;   echo arch/arm64/boot/dts/marvell/ac5-98dx35xx-rd.dtb;   echo arch/arm64/boot/dts/marvell/cn9130-cf-base.dtb;   echo arch/arm64/boot/dts/marvell/cn9130-cf-pro.dtb;   echo arch/arm64/boot/dts/marvell/cn9131-cf-solidwan.dtb;   echo arch/arm64/boot/dts/marvell/cn9132-clearfog.dtb; :; } > arch/arm64/boot/dts/marvell/dtbs-list
