Aarch64 1.6

Here are a few small patches that fix some issues found whilst testing a GCC 4.8.1-based AArch64 cross compiler.