patches/ports-android: fix x86 build