Fix kernel directory