[CentOS-virt] Install of kernel-ml does not allow for usable /proc/xen