Include kernel directory in Makefile