Index: boot/arch/arm32/include/mm.h
===================================================================
--- boot/arch/arm32/include/mm.h	(revision e330da6e8c9b0dc3c32eed16c06b64b13f0a6963)
+++ boot/arch/arm32/include/mm.h	(revision d735e2e934b8d024cd14b4f088821f9d2649e913)
@@ -43,5 +43,5 @@
 #define BOOT_arm32__MM_H
 
-#include <typedefs.h>
+#include <stddef.h>
 
 /** Describe "section" page table entry (one-level paging with 1 MB sized pages). */