[PATCH v2] x86/mm: fix kern_addr_valid to cope with existing but not present entries