Danke für die Antwort.
reboot system now
apply update from ADB
wipe data/factory reset
wipe cache partition
Nach "apply update from ADB" wartet das Revolution auf 'adb sideload <filename.zip>' seitens des PC. Aber das klappt nicht, denn ich bekomme, am PC, die unerfreuliche Meldung: "no permissions". Meine Schlussfolgerung ist: In irgendeiner Weise und aus irgendeinem unerfindlichen Grund habe ich keine Root Rechte auf dem Revolution.
Wie ich das beheben kann, ist mir schleierhaft ...