Kernel for the Nexus 10