Update debian-kernel-update.md