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