Re: [PATCH 2/3] qemu: Change default machine type for riscv64