Update kernel makefile