Mit BigBlue007s Anleitung hat alles prächtig funktioniert. Nach dem Update kam leichte Panik auf, weil die Karte sich nicht zeigen wollte. Ein erneuter Reset auf Werkseinstellungen (wird auch im zitierten anderen Forum empfohlen) führte aber zum Erfolg . Vielleicht war ich auch einfach nur zu ungeduldig (scheint ja ohnehin nicht der fixeste Prozessor zu sein, der verbaut wurde).
Gruß und Dank nochmals
Thomas