openocd: src/rtos: replace the GPL-2.0-or-later license tag