Re: [coreboot] How is CONFIG_TPM selected?