arm64: handle 52-bit addresses in TTBR