diff --git a/headers/private/kernel/boot/elf.h b/headers/private/kernel/boot/elf.h
index 7a850f26e3..e6bb4ebc5f 100644
--- a/headers/private/kernel/boot/elf.h
+++ b/headers/private/kernel/boot/elf.h
@@ -7,6 +7,7 @@
 
 
 #include <boot/addr_range.h>
+#include <sys/stat.h>
 #include <elf_priv.h>
 
 
@@ -22,6 +23,7 @@ struct preloaded_image {
 	const char	*debug_string_table;
 	uint32		num_debug_symbols, debug_string_table_size;
 
+	ino_t		inode;
 	image_id	id;
 		// the ID field will be filled out in the kernel
 };