diff --git a/headers/private/kernel/boot/stage2.h b/headers/private/kernel/boot/stage2.h
index 54adfa22e3..d832dc8f54 100644
--- a/headers/private/kernel/boot/stage2.h
+++ b/headers/private/kernel/boot/stage2.h
@@ -12,7 +12,7 @@
 
 
 // kernel args
-typedef struct ka {
+typedef struct kernel_args {
 	uint32		cons_line;
 	char		*str;
 	addr_range	bootdir_addr;