[adelie-devel] ARM64 port