hum, problem scheint sich grade gelöst zu haben. hab das file grad nochmal gesaugt, und siehe da: es unterscheidet sich um wenige bytes von dem, was ich vorher gesaugt hatte. also... noch ein versuch.
Edit:
ICH VOLLHONK! vielleicht sollte man sich ab und an einfach mal angewöhnen, auf's datum zu achten. dann würde man auch sehen, dass die beiden bios-versionen, also das laufende und das vermeintliche "update" vom gleichen datum sind... *hust* - damit: thema erledigt, closed!