fix dependencies to point to correct kernel repo