diff --git a/headers/private/kernel/arch/ppc/arch_kernel_args.h b/headers/private/kernel/arch/ppc/arch_kernel_args.h
index 7780bfe7c9..26370d0d30 100644
--- a/headers/private/kernel/arch/ppc/arch_kernel_args.h
+++ b/headers/private/kernel/arch/ppc/arch_kernel_args.h
@@ -29,6 +29,9 @@ typedef struct {
 	// to the Open Firmware.
 	uint32		num_virtual_ranges_to_keep;
 	addr_range	virtual_ranges_to_keep[MAX_VIRTUAL_RANGES_TO_KEEP];
+
+	// platform type we booted from
+	int			platform;
 } arch_kernel_args;
 
 #endif	/* KERNEL_ARCH_PPC_KERNEL_ARGS_H */