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