Fix for linux build, which couldn't figure out what uint64_t was in cli_Cli.h.  Probably related to include changes in previous commits.  Also removed an unnecessary typedef and comments from kernel.h and symtab.h.