fixes bug in telosb board.h introduced by PR #459