Android Samsung Galaxy Tab 3 10.1 uses an Intel Atom Z2560 with an x86 instruction set *and* support for ARMv7. We shall supporting native x86 32bit builds on Android in general. Our infrastructure shall allow this already, need to setup another build node .. etc. We have to verify whether a 64bit build shall be covered as well.