Added target "make kernel" to top level makefile.