Fix kernel tree