adapt to new msg_queue API
tests: sizeof_tcb: adapt to msgless tcb