The Linux Kernel: Android?