arch/arm: add support for AArch64

AArch64 id the 64-bit variant for ARM.

Signed-off-by: "Yann E. MORIN" <yann.morin.1998@free.fr>
Cc: Zhenqiang Chen <zhenqiang.chen@linaro.org>
Cc: Michael Hope <michael.hope@linaro.org>

#!/bin/sh

set -e

printf "Running autoconf...\n"

autoconf -Wall --force

printf "Done. You may now run:\n    ./configure\n"