makefile, config.mk updated; kernel/make run works