Fix kernel path again