None of the above.
Just shocked by the stupidity of it.
Ditto that.
Unless there's some proof forthcoming that Dell sold the hardware in question directly to the DPRK, it's a total non-story.