fixed missing stdint includes for all platforms

 * plus some minor include and prototype fixes for wsn430