CPUID_8086_0001_EDX
c->x86_capability[CPUID_8086_0001_EDX] = cpuid_edx(0x80860001);
[CPUID_8086_0001_EDX] = {0x80860001, 0, CPUID_EDX},