x86/mm: Use pte_none() to test for empty PTE