Pues estamos de suerte ya que el creador de la utilidad TOOLKIT que tantas alegrías me ha dado con el Galaxy Nexus ya ha anunciado que también dará soporte a los nuevos Nexus 4 y Nexus 10... Aquí os dejo el enlace al post donde lo anuncia:
http://forum.xda-developers.com/show...postcount=2906