[coreboot] Re: TPM measurements with UefiPayloadPkg EDK2