config.gcc (*-*-vxworks*): Set use_gcc_stdint to "provide".

config.gcc (*-*-vxworks*): Set use_gcc_stdint to "provide".

2017-06-12  Doug Rupp  <rupp@adacore.com>

	gcc/
	* config.gcc (*-*-vxworks*): Set use_gcc_stdint to "provide".
	Append vxworks-stdint.h to the tm_file list.
	* config/vxworks-stdint.h: New file.

	fixincludes/
	* inclhack.def (AAB_vxworks_stdint): Remove hack.
	* fixincl.x: Regenerate.

From-SVN: r249121