Re: [PATCH v2 04/12] target/riscv: Implement kvm_arch_get_registers