Bug#703280: linux: please include extract-vmlinux script in some binary package

[Bob Bib <bobbibmpn@mail.ru>]

Package: src:linux
Version: 3.2.35-2
Severity: wishlist

Dear Maintainer,

please include 'extract-vmlinux' script: <linux_src_tree_root>/scripts/extract-vmlinux
in some Linux-related binary package;
it allows extraction of a plain vmlinux from a compressed Linux kernel image,
in an easy way.


-- Package-specific info:
** Version:
Linux version 3.2.0-4-amd64 (debian-kernel@lists.debian.org) (gcc version 4.6.3 (Debian 4.6.3-14) ) #1 SMP Debian 3.2.35-2

** Command line:
BOOT_IMAGE=/boot/vmlinuz-3.2.0-4-amd64 root=UUID=... ro

-- System Information:
Debian Release: 7.0
  APT prefers testing
  APT policy: (500, 'testing')
Architecture: amd64 (x86_64)
Foreign Architectures: i386

Kernel: Linux 3.2.0-4-amd64 (SMP w/2 CPU cores)
Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash


----
Best wishes, Bob