Better explain the kernel/libc upgrade path
* debian/debhelper.in/libc.templates (glibc/kernel-too-old): 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.