[IA64] remove CONFIG_SMP ifdef in ia64_send_ipi()