doc/openocd.texi: fix xref warning