XenServer: what version in Prod?