diff --git a/headers/private/kernel/boot/kernel_args.h b/headers/private/kernel/boot/kernel_args.h
index d3e6a55a01..25cf14e0f7 100644
--- a/headers/private/kernel/boot/kernel_args.h
+++ b/headers/private/kernel/boot/kernel_args.h
@@ -13,7 +13,12 @@
 #include <arch_kernel_args.h>
 
 
+#define CURRENT_KERNEL_ARGS_VERSION 1
+
 typedef struct kernel_args {
+	uint32		kernel_args_size;
+	uint32		version;
+
 	uint32		cons_line;
 	char		*str;
 	addr_range	bootdir_addr;