RISC-V SMP boot works