Could be, or they may simply have taken a memory hit. I'm actually somewhat surprised that they're talking about sending up a software patch, as opposed to rebooting the computer from onboard static memory.
My own personal theory is that it's not software at all, but instead a failure of some sort on the data bus. I don't know if or how they'd get around that.