x86: Factor out apic_send_nmi_ipi

Avoids duplication of the code that construction the IPI message.

Signed-off-by: Jan Kiszka <jan.kiszka@siemens.com>