[coreboot-gerrit] Patch set updated for coreboot: ecc63ee pit: update I2C4 speed constant