[PATCH v4 12/12] target/riscv: Support virtual time context synchronization