AMD_CPUID_EBX 48 kernel/arch/amd64/src/cpu/cpu.c #define AMD_CPUID_EBX UINT32_C(0x68747541) AMD_CPUID_EBX 51 kernel/arch/ia32/src/cpu/cpu.c #define AMD_CPUID_EBX UINT32_C(0x68747541)