add platform to checkpoint XSD