kmemcheck: use kmemcheck_pte_lookup() instead of open-coding it