Having watched only the referenced sections of the video (the arguments concerning the BGV theorem, and short periods surrounding those marks), I want to note that to the best of my knowledge both Craig and Carroll make themselves guilty of misrepresenting some information to the public, for example Craig's quote of Hawking (dealt with by Carroll) and Carroll bringing up the infinite-time result of the Schrödinger equation (because it might be taken as indicative that it is a relevant result, which I find highly questionable seeing as it can be taken as indication of the Schrödinger equation's incompatability with certain observed events within the universe).
Concerning the BGV theorem Craig is correct in saying that the result holds for any geodesic observer with a non-comoving congruence of time-like geodesic test particles which is on average (over the past) expanding (in a generalized sense, within general relativity), in the sense that such an observer geodesic is necessarily past-incomplete. That is not what he says, of course, but to my ears his statement of this is as good as one can expect. That does not imply a creation event. What it does mean is that if e.g. a light-ray passes through a fiducial "cloud" of objects (without interacting), such as can e.g. be taken to be the case locally in any cosmological model I have seen, and observes an overall expansion, then that geodesic does end somewhere in the past. I am fairly certain that this is not an in any way controversial result.
Carroll is correct in that the BGV theorem thus does not include all models, but it includes a wider range than Carroll's "some" may make it sound like (depending on interpretation, of course).
Ultimately, both the BGV theorem and the quoted paper on the generalized second law may be interpreted as supporting the idea of some sort of "creation event," in the sense that they do not conradict it and serves to narrow down other possibilities. However, in the same way they could then be interpreted as supporting any theory they do not contradict. This is often the natural, but certainly not scientific, response of someone who has themselves formed a theory already. They most definitely cannot be taken as proof either way.