That is certainly true and may very well be the case here.
It could also be the case that a human developer forgot to bounds check an array and iterated out of bounds, corrupting some important kernel variable. We won't know unless we get a postmortem.