Re: [PATCH 1/3] qemu: Change default machine type for aarch64