savedcmd_arch/arm64/boot/dts/exynos/dtbs-list := {   echo arch/arm64/boot/dts/exynos/exynos5433-tm2.dtb;   echo arch/arm64/boot/dts/exynos/exynos5433-tm2e.dtb;   echo arch/arm64/boot/dts/exynos/exynos7-espresso.dtb;   echo arch/arm64/boot/dts/exynos/exynos7885-jackpotlte.dtb;   echo arch/arm64/boot/dts/exynos/exynos850-e850-96.dtb;   echo arch/arm64/boot/dts/exynos/exynosautov9-sadk.dtb;   echo arch/arm64/boot/dts/exynos/exynosautov920-sadk.dtb;   cat arch/arm64/boot/dts/exynos/google/dtbs-list; :; } > arch/arm64/boot/dts/exynos/dtbs-list
