KSDK lib/ksdk_mqx_lib/kds/K22F51212/ directory only has one fle : makedir.bat, seem this version dose not include KDS build support.
While for GCC mqx lib Makefile, there is a error in KSDK
lib/ksdk_mqx_lib/gcc/K22F51212/Makefile
LIB_NAME = ksdk_platform_lib it should be ksdk_mqx_lib.
There is one interesting thing:
KSDK has GCC mqx lib support, while MQX_KSDK beta release dose not support GCC build.