Fix kernel include files and path