mm, highmem: use PKMAP_NR() to calculate an index of pkmap