[coreboot-gerrit] New patch to review for coreboot: 119873d peppy: Add an inverted input GPIO type