Some initial work on android-x86