[Board manager] Add stdint.h to make Linux compilation happy.