[coreboot-gerrit] Patch set updated for coreboot: dc39a02 util/inteltool: add ibex peak default gpio registers