[PATCH] ACPI based I/O APIC hot-plug: add interfaces