Re: [PATCH 0/3] Change default machine type for aarch64 and riscv64