Not a stupid question at all — it is THE question and the reporting is bad at it.
They are not broken. Every one of those aircraft could take off right now. A safety system will not clear them because it cannot phone home to a server in the United States.
So: told not to fly, by a computer, on behalf of a country that is not theirs.