X86FSET_VAES
add_x86_feature(featureset, X86FSET_VAES);
X86FSET_VAES);
{ AV_386_2_VAES, X86FSET_VAES },