Fix include paths in the kernel sources.

Max32 kernel successfully compiled with kconfig utility.

tools/kconfig/main.c

@@ -92,7 +92,6 @@ usage:  fputs("usage: kconfig [-gp] sysname\n", stderr);
     makefile();             /* build Makefile */
     headers();              /* make a lot of .h files */
     swapconf();             /* swap config files */
-    printf("Don't forget to run \"make depend\"\n");
     exit(0);
 }