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