[ros-diffs] [gvg] 15430: For Xen, setup paging the way the kernel wants it and