only reboot if the kernel changed