Index: tools/pack.py
===================================================================
--- tools/pack.py	(revision f98434b82c695232419821abbc90afe44dea6699)
+++ tools/pack.py	(revision 5f53428ace17fe775b4d10c50bd94becc2cae73e)
@@ -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")