implement kernel reboot upon changes