[coreboot-gerrit] Patch set updated for coreboot: d4801b8 rambi: Change RAM_ID GPIOs to GPIO_INPUT