Correctly set TTBR* registers and the domain access register