[coreboot-gerrit] New patch to review for coreboot: c684efd inteltool: Add option to show differences in GPIO setup