[coreboot-gerrit] Patch set updated for coreboot: 102497e util/inteltool: fix ibex peak register definition