Io ho fatto tutto ciò che hai detto: apro il toolkit seleziono il modello e la build (4.0.2) poi clicco 6, enter, e dopo un secondo ritorna al menù dicendo che ho finito, però poi vado dal terminale sulle info del sistema e mi dice che la build è ancora 4.0.2