powerpc: Make sure IPI handlers see data written by IPI senders