Don't include <stdint.h> for vxworks target
Authored by: cschneider 2013-04-22
Parent: [r700]
Child: [r702]