kernel: timer: fix compiling bug in d59aa279c37b7