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