not only do they use 386s, they only upgraded to them in the Last 5 years or so. i remember some obscure news article when they got the approval for it, but i dont remember exactly when it was.
hell, that was a few years ago. maybe they are on something better by now. i would not bank on it though, its more important for them to have twelve redundant systems for everything and have them run with low power requirements than it is for them to have fast processors. i mean, its not like they are computing rocket science
(gosh, remember when rocket science was mind-boggling? now its genetics this, molecules that. everything in modern science is so darn tiny! in the good old days people thought BIG!)