Subtract overhead in hwtimer_set (#59)

Reopened #59.