[coreboot] Patch set updated for coreboot: 3de55ce add gpio.h for generic GPIO-related definitions