check gnulib stdint stuff in src/gdb's configure script, too

Change-Id: Ib0366d1b086bffc917bb867684796531211f75c4