[PATCH 4/7] ia64: ACPI: create arch-dependent version of acpi_osi_handler()