Index: boot/arch/arm32/include/mm.h
===================================================================
--- boot/arch/arm32/include/mm.h	(revision de1712e4e19c9ccc82703e05e5f4805fdb28a75b)
+++ boot/arch/arm32/include/mm.h	(revision 7a995075ee9ad9adbfafd2610997bc6f56b8916e)
@@ -42,6 +42,4 @@
 #ifndef BOOT_arm32__MM_H
 #define BOOT_arm32__MM_H
-
-#include <stddef.h>
 
 /** Describe "section" page table entry (one-level paging with 1 MB sized pages). */
Index: boot/arch/arm32/include/types.h
===================================================================
--- boot/arch/arm32/include/types.h	(revision de1712e4e19c9ccc82703e05e5f4805fdb28a75b)
+++ boot/arch/arm32/include/types.h	(revision 7a995075ee9ad9adbfafd2610997bc6f56b8916e)
@@ -37,4 +37,6 @@
 #define BOOT_arm32_TYPES_H
 
+#include <arch/common.h>
+
 #define TASKMAP_MAX_RECORDS        32
 #define BOOTINFO_TASK_NAME_BUFLEN  32