[CentOS-virt] Xen kernel fixes