Build vfio-pci as a module, as dpdk tools expect it to be.

Change-Id: I4c0fe67609fc74fc60e6a2c99d448fd47a6d2a86
Signed-off-by: José Pekkarinen <jose.pekkarinen@nokia.com>

diff --git a/kernel/arch/x86/configs/opnfv.config b/kernel/arch/x86/configs/opnfv.config
index 7bbda73..704af49 100644 (file)
--- a/kernel/arch/x86/configs/opnfv.config
+++ b/kernel/arch/x86/configs/opnfv.config
@@ -2938,9 +2938,9 @@ CONFIG_UIO=y
 # CONFIG_UIO_NETX is not set
 # CONFIG_UIO_MF624 is not set
 CONFIG_VFIO_IOMMU_TYPE1=y
-CONFIG_VFIO_VIRQFD=y
+CONFIG_VFIO_VIRQFD=m
 CONFIG_VFIO=y
-CONFIG_VFIO_PCI=y
+CONFIG_VFIO_PCI=m
 # CONFIG_VFIO_PCI_VGA is not set
 CONFIG_VFIO_PCI_MMAP=y
 CONFIG_VFIO_PCI_INTX=y