x64, apic: use generic apic_write() for ack_APIC_irq()