Index: kernel/arch/ppc32/include/context.h
===================================================================
--- kernel/arch/ppc32/include/context.h	(revision 3dea17f5a2dc97de65bf1ff23eb43f3621665af4)
+++ kernel/arch/ppc32/include/context.h	(revision 715a847f39286d8a5751f93af972d0fdb8bfb951)
@@ -36,7 +36,5 @@
 #define KERN_ppc32_CONTEXT_H_
 
-#ifndef KERN_ppc32_TYPES_H_
-# include <arch/types.h>
-#endif
+#include <arch/types.h>
 
 #define SP_DELTA	16
Index: kernel/arch/ppc32/include/exception.h
===================================================================
--- kernel/arch/ppc32/include/exception.h	(revision 3dea17f5a2dc97de65bf1ff23eb43f3621665af4)
+++ kernel/arch/ppc32/include/exception.h	(revision 715a847f39286d8a5751f93af972d0fdb8bfb951)
@@ -36,8 +36,5 @@
 #define KERN_ppc32_EXCEPTION_H_
 
-#ifndef KERN_ppc32_TYPES_H_
-#  include <arch/types.h>
-#endif
-
+#include <arch/types.h>
 #include <typedefs.h>