Move platform dependent codes from tickless_verify to hwtimer