[coreboot-gerrit] New patch to review for coreboot: 588356a util/inteltool: fix ibex peak register definition