Grazie delle informazioni sempre puntuali, Ercolino! 
Una cosa non mi è chiara. Che io sappia, tutti i 4100 hanno loader a2.53: perché non rilasciare OTA la 1.05.17 adattata ai 4100, che potrebbero tranquillamente gestirla, e i cui aggiornamenti non si sovrappongono a 4000-4500-5000, perché hanno identificativo diverso? E' già pronta, basterebbe modificarla di poco, credo.
Una cosa non mi è chiara. Che io sappia, tutti i 4100 hanno loader a2.53: perché non rilasciare OTA la 1.05.17 adattata ai 4100, che potrebbero tranquillamente gestirla, e i cui aggiornamenti non si sovrappongono a 4000-4500-5000, perché hanno identificativo diverso? E' già pronta, basterebbe modificarla di poco, credo.