doc/gdb.texinfo (i386): Fix yesterday's commit.