reboot after upgrading the kernel



See merge request !85

Former-commit-id: 01b79b1f