diff --git a/headers/private/kernel/boot/platform/bios_ia32/platform_kernel_args.h b/headers/private/kernel/boot/platform/bios_ia32/platform_kernel_args.h
new file mode 100644
index 0000000000..27bf331325
--- /dev/null
+++ b/headers/private/kernel/boot/platform/bios_ia32/platform_kernel_args.h
@@ -0,0 +1,22 @@
+/*
+** Copyright 2003, Axel Dörfler, axeld@pinc-software.de. All rights reserved.
+** Distributed under the terms of the OpenBeOS License.
+*/
+#ifndef KERNEL_BOOT_PLATFORM_BIOS_IA32_KERNEL_ARGS_H
+#define KERNEL_BOOT_PLATFORM_BIOS_IA32_KERNEL_ARGS_H
+
+#ifndef KERNEL_BOOT_KERNEL_ARGS_H
+#	error This file is included from <boot/kernel_args.h> only
+#endif
+
+// must match SMP_MAX_CPUS in arch_smp.h
+#define MAX_BOOT_CPUS 4
+#define MAX_PHYSICAL_MEMORY_RANGE 4
+#define MAX_PHYSICAL_ALLOCATED_RANGE 4
+#define MAX_VIRTUAL_ALLOCATED_RANGE 4
+
+
+typedef struct {
+} platform_kernel_args;
+
+#endif	/* KERNEL_BOOT_PLATFORM_BIOS_IA32_KERNEL_ARGS_H */
diff --git a/headers/private/kernel/boot/platform/bios_ia32/platform_stage2_args.h b/headers/private/kernel/boot/platform/bios_ia32/platform_stage2_args.h
index ac8334270b..9aea238296 100644
--- a/headers/private/kernel/boot/platform/bios_ia32/platform_stage2_args.h
+++ b/headers/private/kernel/boot/platform/bios_ia32/platform_stage2_args.h
@@ -5,6 +5,10 @@
 #ifndef KERNEL_BOOT_PLATFORM_BIOS_IA32_STAGE2_H
 #define KERNEL_BOOT_PLATFORM_BIOS_IA32_STAGE2_H
 
+#ifndef KERNEL_BOOT_STAGE2_ARGS_H
+#	error This file is included from <boot/stage2_args.h> only
+#endif
+
 struct platform_stage2_args {
 };