config scripts: remove useless reference to OpenOCD docs