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