Re: [PATCH V2 0/3] Change default machine type for ARM and RISC-V