[coreboot-gerrit] Patch merged into coreboot/master: 3fc6368 gpio: cosmetic changes to tristate_gpios.c