[coreboot] How is CONFIG_TPM selected?