nEPT: Move common code to paging_tmpl.h