Google Nexus 10's kernel