Symbol: translate_sctlr_el2_to_sctlr_el1