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