Android Linux kernel for Flatfish devices