Move platform dependent codes from tickless_verify to hwtimer

Signed-off-by: Jim Huang <jserv@0xlab.org>
kernel: fix build failure because of tickless