s/printf/DEBUG/
add `DEBUG` msg to `msg_send`, too
core/msg_send: fix target check race condition

Move `dINT` up and add corresponding `eINT`.

Fixes a race condition in case of a context switch after check for
`target != NULL` which leads to the thread exiting.