Kvmtool always generates a PCI host device tree node. Thus PCI related ACPI tables are always generated. Rely on the presence of PCI devices in the interrupt-map information instead. Reported-by: Sarah Walker <sarah.walker2@arm.com> Signed-off-by: Pierre Gondois <pierre.gondois@arm.com>