I've gotten the sense that they're using them, you just can't buy them on the open market. The Chinese government has a ton of uses for passable x86 chips that they control the masks of and could easily consume the whole production line.