[PATCH] ACPI based I/O APIC hot-plug: ia64 support