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