[IA64] Correct definition of handle_IPI