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