xen kernel update fix