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