openocd: src: fix incorrect GPL license tag