This is not a XEN kernel in the old fashioned way. This is a standard kernel with pv_ops XEN support and will be part in one of the next kernel releases. The only difference to a standard kernel is the word xen in the package name. Is this the problem, why I get the error?