Index: kernel/arch/ppc32/include/fpu_context.h
===================================================================
--- kernel/arch/ppc32/include/fpu_context.h	(revision 0f3fc9b4dfadc676e3337514570c32d8d8c9b162)
+++ kernel/arch/ppc32/include/fpu_context.h	(revision 672b22e998fe4b44c45775aa265ee54ebdcc43dc)
@@ -37,5 +37,5 @@
 
 #ifndef KERN_ppc32_TYPES_H_
-# include <arch/types.h>
+	#include <typedefs.h>
 #endif