Index: arch/ia32/include/mm/as.h
===================================================================
--- arch/ia32/include/mm/as.h	(revision 9f525639659c979c952ae9372c881791de6d13aa)
+++ arch/ia32/include/mm/as.h	(revision 4e49572dad56d20917516259581d99e2ff0d8c6c)
@@ -30,5 +30,5 @@
 #define __ia32_AS_H__
 
-#include <arch/types.h>
+#define KERNEL_ADDRESS_SPACE_SHADOWED_ARCH	0
 
 #define KERNEL_ADDRESS_SPACE_START_ARCH		((__address) 0x80000000)