diff --git a/headers/private/kernel/boot/addr_range.h b/headers/private/kernel/boot/addr_range.h
new file mode 100644
index 0000000000..2556cd0f5b
--- /dev/null
+++ b/headers/private/kernel/boot/addr_range.h
@@ -0,0 +1,17 @@
+/* 
+** Copyright 2004, Axel Dörfler, axeld@pinc-software.de. All rights reserved.
+** Distributed under the terms of the OpenBeOS License.
+*/
+#ifndef KERNEL_BOOT_ADDR_RANGE_H
+#define KERNEL_BOOT_ADDR_RANGE_H
+
+
+#include <SupportDefs.h>
+
+
+typedef struct addr_range {
+	addr_t start;
+	addr_t size;
+} addr_range;
+
+#endif	/* KERNEL_BOOT_ADDR_RANGE_H */
diff --git a/headers/private/kernel/boot/elf.h b/headers/private/kernel/boot/elf.h
index f3b80cc00a..7a850f26e3 100644
--- a/headers/private/kernel/boot/elf.h
+++ b/headers/private/kernel/boot/elf.h
@@ -6,8 +6,8 @@
 #define KERNEL_BOOT_ELF_H
 
 
+#include <boot/addr_range.h>
 #include <elf_priv.h>
-#include <boot/kernel_args.h>
 
 
 struct preloaded_image {