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