[coreboot-gerrit] New patch to review for coreboot: d1abcaf replace device/i2c.h with simpler version