[coreboot-gerrit] Patch merged into coreboot/master: cf672d2 rambi: Add platform GPIO configuration tables