core: hwtimer eINT substitution fixes