kernel: timer: fix compiling bug in d59aa279c37b7
Merge pull request #180 from grissiom/hot-fix

kernel: timer: fix compiling bug in d59aa279c37b7