[coreboot-gerrit] Patch merged into coreboot/master: 1fd91a1 tpm: allow 0 as valid i2c bus number