The Eclipse "C/C++ GDB Hardware Debugging" plugin runs only the
"symbol-file" command.  In this case, remote_check_symbols is not
called and no qSymbol:: packet is sent to the server (OpenOCD in my
case).
gdb/
2014-02-04  Christian Eggers  <ceggers@gmx.de>  (tiny change)
	* remote.c (remote_start_remote): Call remote_check_symbols even
	if only symbol-file (not file) has been given.
+2014-02-04  Christian Eggers  <ceggers@gmx.de>  (tiny change)
+
+       * remote.c (remote_start_remote): Call remote_check_symbols even
+       if only symbol-file (not file) has been given.
+
 2014-02-04  Ulrich Weigand  <uweigand@de.ibm.com>
 
        * gdbarch.sh (skip_entrypoint): New callback.
 
   /* If we connected to a live target, do some additional setup.  */
   if (target_has_execution)
     {
-      if (exec_bfd)    /* No use without an exec file.  */
+      if (symfile_objfile)     /* No use without a symbol-file.  */
        remote_check_symbols ();
     }