CPUID_8000_0001_ECX
c->x86_capability[CPUID_8000_0001_ECX] = ecx;
kvm_cpu_cap_init(CPUID_8000_0001_ECX,
cpuid_entry_override(entry, CPUID_8000_0001_ECX);
[CPUID_8000_0001_ECX] = {0x80000001, 0, CPUID_ECX},