patches/vlc: fix mediacodec, vsl, ringbuf
patches/ports-android: fix jni bugs