WIP: Mods to port the kernel to AArch64
@jackpot51: Please merge this into a new branch named aarch64. (I've been careful not to break the x86_64 builds but would be more comfortable shifting all the AArch64 work en-masse into the master branch at a later 'flag day' date with @wizofe's help).