reboot after dist-upgrade