Fix bad characters in xdc file

[MJoergen]

Vivado does not recognize the special character used, and expects an ordinary ASCII character instead.