If the source code/hardware diagrams are kept private you should assume backdoors, always, with everything. How is there any other way to know for sure otherwise?
These government agencies are obviously dug much deeper in private industry than many expected so I wouldn't put it past them