Hwtimer fixes

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