diff --git a/headers/private/kernel/boot/elf.h b/headers/private/kernel/boot/elf.h
index dbfc64fc00..8d8302058e 100644
--- a/headers/private/kernel/boot/elf.h
+++ b/headers/private/kernel/boot/elf.h
@@ -17,6 +17,9 @@ struct preloaded_image {
 	elf_region	data_region;
 	addr_range	dynamic_section;
 	struct Elf32_Ehdr elf_header;
+
+	image_id	id;
+		// the ID field will be filled out in the kernel
 };
 
 #endif	/* KERNEL_BOOT_ELF_H */