RIOT-OS/boards — pull request #36 by OlegHahm (2013-10-28 22:11:50+00:00)
Title: fixed missing inttypes includes for all platforms

* plus some minor include and prototype fixes for wsn430