Re: RISC-V: crash in riscv_get_time()