[coreboot-gerrit] Patch merged into coreboot/master: baa1e38 rambi: make ramids non-legacy gpio inputs