mm: check if PTE is already allocated during page fault