RIOT-OS/RIOT — pull request #1644 by Kijewski (2014-09-07 20:07:43+00:00)
Title: vtimer: no needless type casting

Compare https://github.com/RIOT-OS/RIOT/pull/1639#issuecomment-54713048
and following discussion.