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