openocd: fix SPDX tag format for files .c