[ARM] 4128/1: Architecture compliant TTBR changing sequence