[coreboot-gerrit] Patch set updated for coreboot: [WIP] spike-riscv: Register RAM resource at 0x80000000