INTEL_CPUID_EDX 54 kernel/arch/amd64/src/cpu/cpu.c #define INTEL_CPUID_EDX UINT32_C(0x49656e69) INTEL_CPUID_EDX 57 kernel/arch/ia32/src/cpu/cpu.c #define INTEL_CPUID_EDX UINT32_C(0x49656e69)