Implement [memory address mapping](http://infocenter.arm.com/help/topic/com.arm.doc.den0001c/DEN0001C_principles_of_arm_memory_maps.pdf) of a aarch 64-bit guest.