fixing up PTE mappings