some x86 kernel-mode instructions not supported

[dwks]

I saw capstone was having some issues with x86 prefetch instructions: https://github.com/aquynh/capstone/issues/1012

I'm encountering issues with other kernel-mode instructions: rdpkru and wrpkru (0f 01 ee, 0f 01 ef). They are simply not supported (I'm on the next branch). I am willing to add support for these instructions, but what is the proper way to regenerate the .inc tablegen files? I don't see the tablegen source files. Thanks.

[cty12]

Same issue here. I cannot figure out how to regenrate the *.inc mapping files either.

[Absoler]

still not fix on 4.0.2