[coreboot] Patch merged into coreboot/master: d58ba2a add gpio.h for generic GPIO-related definitions