debug/gdb: update Linaro GDB revision for 2013.05

Update Linaro GDB with the latest available revision.

Signed-off-by: "Michael Hope" <michaelh@juju.net.nz>
Message-Id: <bea34f42853a9d87a628.1372452016@localhost>
Patchwork-Id: 255667

python

import sys

sys.path.insert(0, '@@PREFIX@@/share/gcc-@@VERSION@@/python')

from libstdcxx.v6.printers import register_libstdcxx_printers

register_libstdcxx_printers (None)

end