I misunderstood his request. You are right. The NK are using the AK 47 chinese version called the "norinco"
Thank you.
According to the Federation of American Scientists, the DPRK has been independently producing their own small arms, including their AK variant, since the early '70s.