fix for gcc 4.8

board.h should include stdint.h, otherwise `uint16_t` is not defined.