add boot partition size

hc

2023-12-11 d2ccde1c8e90d38cee87a1b0309ad2827f3fd30d

 kernel/drivers/misc/sgi-gru/grulib.h
..
..
@@ -136,7 +136,7 @@
136
136
 	pid_t		pid;
137
137
 	unsigned long	vaddr;
138
138
 	int		cch_locked;
139
-	unsigned long	data[0];
139
+	unsigned long	data[];
140
140
 };
141
141
 
142
142
 /*