Re: [Xen-devel] [PATCH 2/4] xen/PVH: Use proper CS selector in long mode