RE: [PATCH v1 04/12] target/riscv: Implement kvm_arch_get_registers