Make lookup_page() just return null for uaddr >= PHYS_BASE.