[adelie-ports] Re: ARM64 port