[coreboot-gerrit] Patch set updated for coreboot: 75c4856 gpio: compile gpio.c at all stages