[coreboot-gerrit] New patch to review for coreboot: 4ad59c4 util/inteltool: Typo in dump output for 'GP_IO_SEL3'