Index: kernel/generic/include/lib/elf.h
===================================================================
--- kernel/generic/include/lib/elf.h	(revision 53031c207fe3e604f18be745ce8f0d770315f9ca)
+++ kernel/generic/include/lib/elf.h	(revision a961619fe2e6b4bae1d93421e351c775282e6c52)
@@ -36,5 +36,4 @@
 #define KERN_ELF_H_
 
-#include <typedefs.h>
 #include <abi/elf.h>
 #include <arch/elf.h>
Index: kernel/generic/include/lib/elf_load.h
===================================================================
--- kernel/generic/include/lib/elf_load.h	(revision 53031c207fe3e604f18be745ce8f0d770315f9ca)
+++ kernel/generic/include/lib/elf_load.h	(revision a961619fe2e6b4bae1d93421e351c775282e6c52)
@@ -37,5 +37,4 @@
 
 #include <arch/elf.h>
-#include <typedefs.h>
 
 /**
Index: kernel/generic/include/lib/memfnc.h
===================================================================
--- kernel/generic/include/lib/memfnc.h	(revision 53031c207fe3e604f18be745ce8f0d770315f9ca)
+++ kernel/generic/include/lib/memfnc.h	(revision a961619fe2e6b4bae1d93421e351c775282e6c52)
@@ -36,5 +36,5 @@
 #define KERN_LIB_MEMFNC_H_
 
-#include <typedefs.h>
+#include <stddef.h>
 #include <cc.h>
 
Index: kernel/generic/include/lib/rd.h
===================================================================
--- kernel/generic/include/lib/rd.h	(revision 53031c207fe3e604f18be745ce8f0d770315f9ca)
+++ kernel/generic/include/lib/rd.h	(revision a961619fe2e6b4bae1d93421e351c775282e6c52)
@@ -36,5 +36,5 @@
 #define KERN_RD_H_
 
-#include <typedefs.h>
+#include <stddef.h>
 
 extern void init_rd(void *, size_t);