Re: aarch64 fails to boot in model