[coreboot-gerrit] Patch set updated for coreboot: 5b6df62 tpm: Add Infineon TPM 1.2 support