arm64: enable PTE type bit in the mask for pte_modify