Index: boot/arch/arm32/include/types.h
===================================================================
--- boot/arch/arm32/include/types.h	(revision 7a995075ee9ad9adbfafd2610997bc6f56b8916e)
+++ boot/arch/arm32/include/types.h	(revision 16bfcd3dd8e60cc153482fb448ef8388600e599b)
@@ -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 {