[coreboot-gerrit] Patch set updated for coreboot: 7bfc4ce rambi: add all on-board devices