Re: [PATCH 1/1] virsysinfo: fix RISC-V detection