A generalized π₂-diffeomorphism finiteness theorem