Sigo pensando que siendo la edición Developer el usuario tiene que instalar las ROMs que quiera, en este caso la 4.2.2 oficial, ya que "yo supongo" que esta versión se sacó para que los desarrolladores trabajarán en ROMs con él y lo veo algo rarillo que a esa gente le importe recibir OTA's