X86FSET_1GPG
if (is_x86_feature(x86_featureset, X86FSET_1GPG)) {
add_x86_feature(featureset, X86FSET_1GPG);