tools/packaging: Add options for VFIO to guest kernel

Pull #2795 recently added support for a closer-to-OCI behaviour for
VFIO devices, in which they appear to the container as VFIO devices,
rather than being interpreted by the guest kernel.  However, in order
to use this, the Kata guest kernel needs to include the VFIO PCI
driver, along with dependencies like the Intel IOMMU driver.

The kernel as built by the scripts within Kata don't currently include
those, so this patch adds them.

fixes #2913

Signed-off-by: David Gibson <david@gibson.dropbear.id.au>

tools/packaging/kernel/configs/fragments/common/vfio.conf

@@ -0,0 +1,5 @@
+# Options we need in order to handle vfio_mode=vfio devices
+
+CONFIG_IOMMU_SUPPORT=y
+CONFIG_VFIO=y
+CONFIG_VFIO_PCI=y

tools/packaging/kernel/configs/fragments/x86_64/vfio.conf

@@ -0,0 +1,3 @@
+# x86 specific items we need in order to handle vfio_mode=vfio devices
+CONFIG_INTEL_IOMMU=y
+CONFIG_IRQ_REMAP=y

tools/packaging/kernel/kata_config_version

@@ -1 +1 @@
-86
+87