x86, acpi/irq: Teach acpi_get_override_irq to take a gsi not an isa_irq