powerpc/mpic: Use new smp_request_message_ipi