Index: kernel/arch/ppc32/include/arch/mm/page.h
===================================================================
--- kernel/arch/ppc32/include/arch/mm/page.h	(revision 84176f3d26c423111021bb2b97b70bf0076fb9f4)
+++ kernel/arch/ppc32/include/arch/mm/page.h	(revision ecf56f8012dce1cff83b7c7cd0cdab2b6e1d082f)
@@ -37,5 +37,4 @@
 
 #include <arch/mm/frame.h>
-#include <trace.h>
 
 #define PAGE_WIDTH  FRAME_WIDTH
@@ -150,4 +149,5 @@
 #include <mm/mm.h>
 #include <arch/interrupt.h>
+#include <trace.h>
 
 /** Page Table Entry. */