SQUASHME: add HWTIMER_WAIT_OVERHEAD