hw/riscv/spike.c: load initrd right after riscv_load_kernel()