kernel and user makefile