kill RBT & hash as pinning mechanism, use straight counter per page

The array is so small that linear scan should be (and is) much faster