INTEL_CPUID_EBX 123 kernel/arch/amd64/src/cpu/cpu.c if ((info.cpuid_ebx == INTEL_CPUID_EBX) && INTEL_CPUID_EBX 135 kernel/arch/ia32/src/cpu/cpu.c if ((info.cpuid_ebx == INTEL_CPUID_EBX) &&