Kernel tree for Android Emulator