review.coreboot.org / coreboot / 9631016660423d0585a1 / src / mainboard / emulation / spike-riscv / romstage.c