core: always set sender_pid in msg_send_int
Merge pull request #1978 from OlegHahm/msg_send_int_set_pid

core: always set sender_pid in msg_send_int