add gpio led uart

hc

2024-05-10 748e4f3d702def1a4bff191e0cf93b6a05340f01

 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/