By the way, the standard GDB for an x86 linux host appears to work just fine. I've been using it for some time and just noticed that I wasn't using the i386-elf version.