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