RIOT-OS/RIOT — pull request #1088 by mehlis (2014-04-30 18:41:55+00:00)
Title: ARM: fix several warnings

resolves: https://github.com/RIOT-OS/RIOT/issues/443