Kernel sources for the Manta (Nexus 10)