[coreboot-gerrit] Patch merged into coreboot/master: gru: kevin: define GPIOs used on both platforms