You are stating that X = {X1, X2, Z1,Z2, Z3, Z4} are uncorrelated with e. Out of all possible linear combinations of the variables in X that can be used as an instrument for
Ψ1,Ψ2 You should choose the ones that is most highly correlated with the endogenous variables. Thus you should use the entire set for each variable. See for example section 5.2.3 - Asymptotic Efficiency of Two-Stage Least Squares in Wooldridge (2012), Econometric Analysis of Cross Section and Panel Data, MIT. I would presume that this correct approach is taken by Gretl.
John C Frain
3 Aranleigh Park