main/ffmpeg: upgrade to 2.5.1, remove needless patches