hwtimer: clean up of interfaces to board/cpu