x86: I/O APIC: Add a 64-bit variation of replace_pin_at_irq()