It is possible that they are obtained second-hand from other countries. They are known to import used cars and computers from China and Japan. If those machines are brand new imports, NK could be running some front company to get them or getting them through their friendly intermediaries(of Chinese or other nationality.)
If DELL knew about their brand-new computers heading for N. Korea, now that is a problem.