Index: boot/arch/arm32/include/types.h
===================================================================
--- boot/arch/arm32/include/types.h	(revision a416d070e73ee834d63f21236a755f5a56114201)
+++ boot/arch/arm32/include/types.h	(revision 8ddaaacd4f1ffc7cd429e863b42a92bfe0fbf899)
@@ -37,15 +37,8 @@
 #define BOOT_arm32_TYPES_H
 
-#include <arch/common.h>
+#include <_bits/all.h>
 
 #define TASKMAP_MAX_RECORDS        32
 #define BOOTINFO_TASK_NAME_BUFLEN  32
-
-typedef uint32_t size_t;
-typedef uint32_t uintptr_t;
-
-typedef uint32_t pfn_t;
-
-typedef int32_t ptrdiff_t;
 
 typedef struct {