[coreboot] New patch to review for coreboot: 7029d30 add gpio.h for generic GPIO-related definitions