[coreboot-gerrit] Patch merged into coreboot/master: 09dcbf0 inteltool: Add option to show differences in GPIO setup