My guess: a CIA front company sold it to them, at an irresistibly low price.
The DPRK's nuke and ballistic missile programs could be disrupted and set back for years, if they could be tricked into using PCs loaded with crapware and Windows Vista Home Basic. The norks should build their own computers and get
root.