CPUID_INTC_ECX_AVX
if ((cpi->cpi_std[1].cp_ecx & CPUID_INTC_ECX_AVX) == 0)
mask_ecx &= ~CPUID_INTC_ECX_AVX;