[PATCH RFC v3 14/14] target/riscv: Support virtual time context synchronization