Index: boot/arch/ppc32/src/ofw.c
===================================================================
--- boot/arch/ppc32/src/ofw.c	(revision b66cc977e145eaa74a7e9fe52a4a2e995c81ad02)
+++ boot/arch/ppc32/src/ofw.c	(revision 5f53428ace17fe775b4d10c50bd94becc2cae73e)
@@ -28,5 +28,5 @@
 
 #include <genarch/ofw.h>
-#include <typedefs.h>
+#include <stddef.h>
 #include <putchar.h>
 #include <str.h>