I don't use XenServer but for others that might it would be great if you could test and post back! :)
More information about text formats
Have you tried 64 bits TKL v13.0?
I don't use XenServer but for others that might it would be great if you could test and post back! :)