Index: boot/arch/ppc32/loader/ofwarch.c
===================================================================
--- boot/arch/ppc32/loader/ofwarch.c	(revision 10982496d9d6c8bbaa6bd5c6fd7ce7e8191b96f5)
+++ boot/arch/ppc32/loader/ofwarch.c	(revision fcf907e132925e88117f57b22cfbc44d5c2dafa3)
@@ -27,5 +27,5 @@
  */
 
-#include <ofwarch.h> 
+#include <ofwarch.h>
 #include <ofw.h>
 #include <printf.h>