[coreboot-gerrit] Patch merged into coreboot/master: 928f407 peppy: Add an inverted input GPIO type