add kernel libmc in makefile, also add code for malloc & kernel test code in main