Xens_config: fix merge error