Hi:
I'd like to notice that I think this bug is already solved by:
https://packages.debian.org/sid/gdb-arm-none-eabi
or more generally by
https://packages.debian.org/sid/gdb-multiarch
Currently, both available in Jessie.
Regards,
--
Raúl Sánchez Siles
----->Proud Debian user<-----
Linux registered user #416098