Index: boot/arch/mips32/include/types.h
===================================================================
--- boot/arch/mips32/include/types.h	(revision 94c05b89b35e97bd16e44d00f32fdf77dcd0470c)
+++ boot/arch/mips32/include/types.h	(revision 35ebd42e880816820d1be5053efa0e05335b294e)
@@ -30,14 +30,9 @@
 #define BOOT_mips32_TYPES_H_
 
-#include <arch/common.h>
+#include <_bits/all.h>
 
 #define TASKMAP_MAX_RECORDS        32
 #define CPUMAP_MAX_RECORDS         32
 #define BOOTINFO_TASK_NAME_BUFLEN  32
-
-typedef uint32_t size_t;
-typedef uint32_t uintptr_t;
-
-typedef int32_t ptrdiff_t;
 
 typedef struct {