Yes. Typically viruses do not harm the hardware, but in this case it was a management decision of Aramco. Of course they are rich. They said the best way to deal with the problem is to throw away all those computers, buy new ones, and reinstall them.
Probably that was a very good decision because it's probably cheaper to do that than to have to reinstall them from scratch. Do the math, $1,000 a machine. That's a big number.