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