Fix kernel path