savedcmd_arch/arm64/boot/dts/intel/dtbs-list := {   echo arch/arm64/boot/dts/intel/socfpga_agilex_n6000.dtb;   echo arch/arm64/boot/dts/intel/socfpga_agilex_socdk.dtb;   echo arch/arm64/boot/dts/intel/socfpga_agilex_socdk_nand.dtb;   echo arch/arm64/boot/dts/intel/socfpga_agilex5_socdk.dtb;   echo arch/arm64/boot/dts/intel/socfpga_n5x_socdk.dtb; :; } > arch/arm64/boot/dts/intel/dtbs-list
