[Patch] Fix GDB build when using GCC 4.1.2

[Steve Ellcey]

On Wed, 2015-12-02 at 08:47 +0000, Yao Qi wrote:
> "Steve Ellcey " <sellcey@imgtec.com> writes:
> 
> > OK to checkin?
> >
> 
> Yes, patch is OK to me.
> 

It looks like Ulrich already took care of this.  gdb is building for me
with the changes he checked in.

Steve Ellcey
sellcey@imgtec.com