add boot partition size

hc

2023-12-11 d2ccde1c8e90d38cee87a1b0309ad2827f3fd30d

 kernel/drivers/vfio/Makefile
..
..
@@ -9,3 +9,4 @@
9
9
 obj-$(CONFIG_VFIO_PCI) += pci/
10
10
 obj-$(CONFIG_VFIO_PLATFORM) += platform/
11
11
 obj-$(CONFIG_VFIO_MDEV) += mdev/
12
+obj-$(CONFIG_VFIO_FSL_MC) += fsl-mc/