Re: [coreboot] #49: TPM support for LinuxBIOS