The Linux kernel for Nexus 7