Hi, Raghava,
Although I do not know the CHIBIOS OS and the RIOT game, I think it is okay to use CMSIS header from the Kinetis SDK, because we provide the source code of CMSIS and header file, you can add the source code file to your system.
Hope it can help you.
BR
XiangJun Rong