Fix kernel include path