[coreboot-gerrit] New patch to review for coreboot: ea91cde tpm: Fix multiple device support