RIOT-OS/boards — pull request #37 by benpicco (2013-10-29 01:45:27+00:00)
Title: fix for gcc 4.8

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