[coreboot-gerrit] Patch set updated for coreboot: b89610f util/intelgpio: Handy tool to build gpio.h from dumped values