CPUID_8000_0008_EBX
c->x86_capability[CPUID_8000_0008_EBX] = ebx;
kvm_cpu_cap_init(CPUID_8000_0008_EBX,
cpuid_entry_override(entry, CPUID_8000_0008_EBX);
[CPUID_8000_0008_EBX] = {0x80000008, 0, CPUID_EBX},