[coreboot-gerrit] Patch set updated for coreboot: 1878664 rambi: add initial rambi mainboard support