CMakeLists.txt modification : include Kernel directory