Index: tools/pack.py
===================================================================
--- tools/pack.py	(revision f98434b82c695232419821abbc90afe44dea6699)
+++ tools/pack.py	(revision de1712e4e19c9ccc82703e05e5f4805fdb28a75b)
@@ -159,5 +159,5 @@
 	header.write("#ifndef BOOT_COMPONENTS_H_\n")
 	header.write("#define BOOT_COMPONENTS_H_\n\n")
-	header.write("#include <typedefs.h>\n\n")
+	header.write("#include <stddef.h>\n\n")
 	header.write("#define COMPONENTS  %d\n\n" % cnt)
 	header.write("typedef struct {\n")
@@ -180,5 +180,5 @@
 	data.write(' * Generated by: tools/pack.py         *\n')
 	data.write(' ***************************************/\n\n')
-	data.write("#include <typedefs.h>\n")
+	data.write("#include <stddef.h>\n")
 	data.write("#include <arch/%s.h>\n\n" % COMPONENTS)
 	data.write("component_t components[] = {\n")