RIOT-OS/RIOT — pull request #551 by mehlis (2014-01-23 14:23:02+00:00)
Title: use mutex in vtimer_sleep

this change prevents a race condition in case of
short sleep time

Fixes: https://github.com/RIOT-OS/RIOT/issues/550