add boot partition size

hc

2023-12-11 d2ccde1c8e90d38cee87a1b0309ad2827f3fd30d

 kernel/arch/um/os-Linux/irq.c
..
..
@@ -1,8 +1,8 @@
1
+// SPDX-License-Identifier: GPL-2.0
1
2
 /*
2
3
  * Copyright (C) 2017 - Cambridge Greys Ltd
3
4
  * Copyright (C) 2011 - 2014 Cisco Systems Inc
4
5
  * Copyright (C) 2000 - 2007 Jeff Dike (jdike@{addtoit,linux.intel}.com)
5
- * Licensed under the GPL
6
6
  */
7
7
 
8
8
 #include <stdlib.h>