document QEMU<->ACPIBIOS PCI hotplug interface