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