64-bit ARM is known as 'aarch64'