core: always set sender_pid in msg_send_int