iommu/vt-d: Allocate space for ACPI devices