arm64: Use the reserved TTBR0 if context switching to the init_mm