savedcmd_drivers/firmware/efi/built-in.a := rm -f drivers/firmware/efi/built-in.a;  printf "drivers/firmware/efi/%s " efi.o vars.o reboot.o memattr.o tpm.o memmap.o esrt.o runtime-wrappers.o earlycon.o | xargs ar cDPrST drivers/firmware/efi/built-in.a