[coreboot-gerrit] Patch merged into coreboot/master: 04d6e01 pit: Configure the pinmux for the i2c busses that are connected on pit.