doc/openocd.texi: fix cross referencing