Emulator kernel source for Android emulator