Fix kernel include files