Ask for reboot unless new kernel is already installed.
[carnet-upgrade.git] / debian / compat
1 7