use correct kernel repo...for now...