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