Kernel for Nexus 10