Samsung Nexus 10 Manta KitKat 4.4 kernel