Re: [coreboot] tpm api merge