INTEL_CPUID_EDX 125 kernel/arch/amd64/src/cpu/cpu.c (info.cpuid_edx == INTEL_CPUID_EDX)) { INTEL_CPUID_EDX 137 kernel/arch/ia32/src/cpu/cpu.c (info.cpuid_edx == INTEL_CPUID_EDX))