x86: add more VexWIG