594129d557
When pmap_allocpte() destroys a 2/4MB "superpage" mapping it does not reduce the pmap's resident count accordingly. It should.