kernel makefile update