Index: boot/arch/ppc32/include/asm.h
===================================================================
--- boot/arch/ppc32/include/asm.h	(revision e330da6e8c9b0dc3c32eed16c06b64b13f0a6963)
+++ boot/arch/ppc32/include/asm.h	(revision de1712e4e19c9ccc82703e05e5f4805fdb28a75b)
@@ -30,5 +30,5 @@
 #define BOOT_ppc32_ASM_H_
 
-#include <typedefs.h>
+#include <stddef.h>
 #include <arch/main.h>
 
Index: boot/arch/ppc32/include/main.h
===================================================================
--- boot/arch/ppc32/include/main.h	(revision e330da6e8c9b0dc3c32eed16c06b64b13f0a6963)
+++ boot/arch/ppc32/include/main.h	(revision de1712e4e19c9ccc82703e05e5f4805fdb28a75b)
@@ -30,5 +30,5 @@
 #define BOOT_ppc32_MAIN_H_
 
-#include <typedefs.h>
+#include <stddef.h>
 #include <balloc.h>
 #include <genarch/ofw_tree.h>