Better explain the kernel/libc upgrade path debian/debhelper.in/libc.preinst: Note that upgrading a kernel also means rebooting it. Also, the libc package is usually in an odd state at that point and apt -f install needs to be used.