[ffmpeg/f32] Update to 4.2.3 release