Re: [patch 0/7] Enable pv_ops Xen; kill the kernel-xen RPM