pmap: make 32-bit version work better on 64-bit kernels