AMD_CPUID_ECX 49 kernel/arch/amd64/src/cpu/cpu.c #define AMD_CPUID_ECX UINT32_C(0x444d4163) AMD_CPUID_ECX 52 kernel/arch/ia32/src/cpu/cpu.c #define AMD_CPUID_ECX UINT32_C(0x444d4163)