2017-09-06  Olivier Hainque  <hainque@adacore.com>

	* config/powerpcspe/vxworks.h (VXCPU_FOR_8548): Correct definition
	for VxWorks 7.  Adjust surrounding comments.

From-SVN: r251796