[coreboot-gerrit] Change in coreboot[master]: drivers/i2c/tpm: Add irq_gpio support to tpm.