[coreboot] New patch to review for coreboot: d3884c8 Fix TPM driver to work with multiple vendor TPMs