correct kernel repo too