Symbol: use_lpa2_pte_format