RIOT-OS/RIOT — pull request #122 by mehlis (2013-08-12 09:26:31+00:00)
Title: Hwtimer fixes

https://github.com/RIOT-OS/RIOT/commit/78db093d095dd4c4ff5188c2c42a10d86c77d79e breaks RIOT, this PR is a fixup for this