[coreboot-gerrit] Patch set updated for coreboot: riscv-spike: support for Spike emulation of riscv