This commit adds a back-end for the AArch64 architecture, namely ARMv8
in 64-bit mode.