[coreboot-gerrit] Patch merged into coreboot/master: b123e0d util/inteltool: fix typo