add boot partition size

hc

2023-12-11 d2ccde1c8e90d38cee87a1b0309ad2827f3fd30d

 kernel/drivers/input/serio/i8042-ip22io.h
..
..
@@ -1,14 +1,10 @@
1
+/* SPDX-License-Identifier: GPL-2.0-only */
1
2
 #ifndef _I8042_IP22_H
2
3
 #define _I8042_IP22_H
3
4
 
4
5
 #include <asm/sgi/ioc.h>
5
6
 #include <asm/sgi/ip22.h>
6
7
 
7
-/*
8
- * This program is free software; you can redistribute it and/or modify it
9
- * under the terms of the GNU General Public License version 2 as published by
10
- * the Free Software Foundation.
11
- */
12
8
 
13
9
 /*
14
10
  * Names.