correctly select new kernel
do not restart xend (or load kvm modules) unless correct kernel is loaded