[coreboot-gerrit] Patch set updated for coreboot: 812a589 peppy: Add an inverted input GPIO type