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