ARMv8 model and tools.

This model supports AArch64 mode only, i.e. there's no support for the AArch32 mode.