arm64: mm: add code to safely replace TTBR1_EL1