Core31 updater should not remove xen kernel modules