Determine V2PHYS_OFFSET dynamically. Fix x86 hole handling in 64 bit address space. Fix ARM64 virtual address handling and support separate user-space and kernel-space translation tables (i.e., TTRB0 and TTRB1). Fix page table walker's lookup functionality. Change-Id: I6b281693cdc88bd1b8fe3f4b8f40a6af3ca95cc0