x86, apic: untangle the send_IPI_*() jungle