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