[coreboot-gerrit] Patch set updated for coreboot: 80eb577 gpio: cosmetic changes to tristate_gpios.c