INTEL_CPUID_EBX 52 kernel/arch/amd64/src/cpu/cpu.c #define INTEL_CPUID_EBX UINT32_C(0x756e6547) INTEL_CPUID_EBX 55 kernel/arch/ia32/src/cpu/cpu.c #define INTEL_CPUID_EBX UINT32_C(0x756e6547)