Normal solvability for nonlinear mappings into Banach spaces