[libre-riscv-dev] simulator get time API