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