INTEL_CPUID_ECX 53 kernel/arch/amd64/src/cpu/cpu.c #define INTEL_CPUID_ECX UINT32_C(0x6c65746e) INTEL_CPUID_ECX 56 kernel/arch/ia32/src/cpu/cpu.c #define INTEL_CPUID_ECX UINT32_C(0x6c65746e)