T81: factored out nested paging management code. Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>