Latest CentOS 7 kernel doesn't boot under Xen PV - workaround available