Linux kernel for Android Goldfish emulator