A bit mask used to request support of the Intel VBMI2 instruction set.
The mask is mapped to the following Intel x86 and x86-64 CPUID flag: CPUID.(EAX=07H, ECX=0):ECX.AVX512_VBMI2[bit 6].