[coreboot-gerrit] New patch to review for coreboot: ef19e80 pit: Configure the pinmux for the i2c busses that are connected on pit.