linux-zen-server/drivers/firmware/efi/libstub/tpm.o