If the USG wanted to coerce Wind River into backdooring vxWorks, they have better ways to do it than a newsworthy enforcement action regarding cryptography exports.

Export controls for crypto are stupid and counterproductive, though; I agree with you there.