RIOT-OS/RIOT — pull request #1027 by mehlis (2014-04-18 10:11:50+00:00)
Title: core: fix warning about discarding volatile

fixes: https://github.com/RIOT-OS/RIOT/issues/1024