diff --git a/src/system/kernel/debug/debug_commands.h b/src/system/kernel/debug/debug_commands.h
index 4b521f50a6..52c15d10d7 100644
--- a/src/system/kernel/debug/debug_commands.h
+++ b/src/system/kernel/debug/debug_commands.h
@@ -27,7 +27,7 @@ typedef struct debugger_command_pipe_segment {
 	int					argc;
 	char**				argv;
 	int32				invocations;
-	uint32				user_data[8];	// can be used by the command
+	uint64				user_data[4];	// can be used by the command
 } debugger_command_pipe_segment;
 
 typedef struct debugger_command_pipe {