Correct kernel path