correct kernel path