Nexus 10 kernel