changed include of inttypes.h to stdint.h in board.h