What downloaded binaries? The question was, is it really useful to have the source and schematics for the chips on your hardware, if NSA (as described in the article) is modifying the hardware during shipping, so you don't really know if the chip you have does what it's supposed to.

Hardware based rootkits can do pretty much everything to an OS running on that, and be undetectable from that OS.