[coreboot-gerrit] Patch set updated for coreboot: f1e082d pit: Configure the pinmux for the i2c busses that are connected on pit.