arch: Create ACPI IORT table

The virtual IOMMU exposed through virtio-iommu device has a dependency
on ACPI. It needs to expose the device ID of the virtio-iommu device,
and all the other devices attached to this virtual IOMMU. The IDs are
expressed from a PCI bus perspective, based on segment, bus, device and
function.

The guest relies on the topology description provided by the IORT table
to attach devices to the virtio-iommu device.

Signed-off-by: Sebastien Boeuf <sebastien.boeuf@intel.com>

arch/src/aarch64/mod.rs

@@ -17,6 +17,7 @@ pub fn configure_system(
     _cmdline_size: usize,
     _num_cpus: u8,
     _serial_enabled: bool,
+    _virt_iommu: Option<(u32, &[u32])>,
 ) -> super::Result<()> {
     Ok(())
 }