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