src/timer: fix a compile warning
Merge pull request #301 from grissiom/fix-timer

[Kernel] src/timer: fix a compile warning