Index: kernel/arch/amd64/include/cpuid.h
===================================================================
--- kernel/arch/amd64/include/cpuid.h	(revision 99d6fd07a4e12eb667d2cfa2d3fdb3b5f63800b2)
+++ kernel/arch/amd64/include/cpuid.h	(revision 82bb9c121efbe640882ffd5dbdc9101eb995d0fa)
@@ -36,12 +36,13 @@
 #define KERN_amd64_CPUID_H_
 
-#define AMD_CPUID_EXTENDED   0x80000001
-#define AMD_EXT_NOEXECUTE    20
-#define AMD_EXT_LONG_MODE    29
+#define AMD_CPUID_EXTENDED  0x80000001
+#define AMD_EXT_NOEXECUTE   20
+#define AMD_EXT_LONG_MODE   29
 
-#define INTEL_CPUID_STANDARD 0x00000001
-#define INTEL_CPUID_EXTENDED 0x80000000
-#define INTEL_SSE2           26
-#define INTEL_FXSAVE         24
+#define INTEL_CPUID_LEVEL     0x00000000
+#define INTEL_CPUID_STANDARD  0x00000001
+#define INTEL_CPUID_EXTENDED  0x80000000
+#define INTEL_SSE2            26
+#define INTEL_FXSAVE          24
 
 #ifndef __ASM__