Gao Xiang found and debugged a fundamental bug in the memory
management.  This removes redundant reference increments on frames
(physical pages) in the memory mapper.
Merge remote branch 'gparmer/master'