[coreboot-gerrit] New patch to review for coreboot: 058813a util/inteltool: add ibex peak default gpio registers