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