Patch is not needed anymore since ppsspp's ffmpeg contains arv7 linux libs