Bug#1072164: grub-pc-dbg: missing gdb_helper.py script from the upstream source code

[lucas]

Package: grub-pc-dbg
Version: 2.12-2
Severity: important

Dear Maintainer,

I am following the recommended procedure to debug GRUB from the GRUB Developers
Manual, ch. 7 Debugging, section i386. [1]

    When using a pre-built GRUB, the distribution may have a package which
    installs this GDB script along with debug symbol binaries, such as Debian’s
    ‘grub-pc-dbg’ package. The GDB script is intended to be used like so,
    assuming that ‘/path/to/script’ is the path to the directory containing the
    gdb_grub script and debug symbol files:

        cd $(dirname /path/to/script/gdb_grub)
        gdb -x gdb_grub

The gdb_grub script (/usr/lib/grub/i386-pc/gdb_grub) gives error while sourcing
gdb_helper.py, which is not installed. gdb gives warning: No such file or
directory.

gdb_helper.py is in the upstream GRUB2 source tree and should be included in the package.

[1] https://www.gnu.org/software/grub/manual/grub-dev/html_node/i386_002dpc.html