X86_FEATURE_EPB
if (!boot_cpu_has(X86_FEATURE_EPB))
{ X86_FEATURE_EPB, CPUID_ECX, 3, 0x00000006, 0 },
} else if (boot_cpu_has(X86_FEATURE_EPB)) {