add ToolStack choice of Xen