[coreboot-gerrit] New patch to review for coreboot: [WIP] spike-riscv: Register RAM resource at 0x80000000