Fix use of vmlaq_s32.