AMD_CPUID_EDX 50 kernel/arch/amd64/src/cpu/cpu.c #define AMD_CPUID_EDX UINT32_C(0x69746e65) AMD_CPUID_EDX 53 kernel/arch/ia32/src/cpu/cpu.c #define AMD_CPUID_EDX UINT32_C(0x69746e65)