[coreboot] Patch merged into coreboot/master: d3884c8 Fix TPM driver to work with multiple vendor TPMs