[coreboot] TPM measurements with UefiPayloadPkg EDK2