[PATCH kernel-4.19 242/280] x86/mm: Fix kern_addr_valid() to cope with existing but not present entries