add boot partition size

hc

2023-12-11 d2ccde1c8e90d38cee87a1b0309ad2827f3fd30d

 kernel/drivers/vfio/mdev/Kconfig
..
..
@@ -1,3 +1,4 @@
1
+# SPDX-License-Identifier: GPL-2.0-only
1
2
 
2
3
 config VFIO_MDEV
3
4
 	tristate "Mediated device driver framework"
..
..
@@ -5,7 +6,7 @@
5
6
 	default n
6
7
 	help
7
8
 	  Provides a framework to virtualize devices.
8
-	  See Documentation/vfio-mediated-device.txt for more details.
9
+	  See Documentation/driver-api/vfio-mediated-device.rst for more details.
9
10
 
10
11
 	  If you don't know what do here, say N.
11
12