Linux x86 as target platform

To build against the x86 Linux, use this command:

cmake -DGNULINUX_X86_PLATFORM=ON ..

The pull request also contains detection whether system uses 32 or 64 bit kernel (inside the android/android_config.cmake file). This is important when building for Android, since the path to the toolchain differs in the NDK for these two.