add paging support for hypervisors