FIXUP: include "board.h" in hwtimer.h

Not sure if this is a good idea...