Update Kernel Makefile