This patch avoids compromises with evil concepts (reverse maps) in the 
shadow code and limits to a maximum value the number of writable 
mappings of OOS pages.

Code is simpler and performance do not degrade.

Signed-off-by: Gianluca Guida <gianluca.guida@eu.citrix.com>