savedcmd_drivers/acpi/arm64/built-in.a := rm -f drivers/acpi/arm64/built-in.a;  printf "drivers/acpi/arm64/%s " apmt.o gtdt.o iort.o cpuidle.o amba.o dma.o init.o thermal_cpufreq.o | xargs ar cDPrST drivers/acpi/arm64/built-in.a