[coreboot-gerrit] Patch set updated for coreboot: 100b87c rambi: Add platform GPIO configuration tables