optimized the cr0 operation using bitwise
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.
move the tormeta code to torlib
added some assertion for POSIX implementation