They didn't make much of a point of it mainstream, but I can assure you that it was advertised it in various academic/scientific media. There was a period I was fed up with all the PS3 crap showing up eveywhere.
And I suspect that anyone using it with Linux for Academic/Scientific uses won't give a damn about not being able to get on-line to play games, and they'll continue to chug along using it with the old BIOS.