Nexus 10: rilasciato Android 4.2.1