kernel now compiles again without CONFIG_MODULES
cleaned up kernel.h
cleaned up kernel.h
added more kernel symbols for the cache