Update cpu_v7_set_pte_ext