Index: kernel/arch/ia32/include/cpuid.h
===================================================================
--- kernel/arch/ia32/include/cpuid.h	(revision 33eb919862fc29660b138cbcc829c307e6f7cb93)
+++ kernel/arch/ia32/include/cpuid.h	(revision c696ad1a6f749478b584a8ae1109c2cc4a94c62a)
@@ -63,5 +63,7 @@
 
 struct __cpuid_feature_info {
-	unsigned 			: 23;
+	unsigned      : 11;
+	unsigned sep  :  1;
+	unsigned      : 11;
 	unsigned mmx  :  1;
 	unsigned fxsr :  1;